Powered by
12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023),
January 16-17, 2023,
Boston, MA, USA
12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023)
Frontmatter
Keynotes
Papers
FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
Arvind Arasu,
Tahina Ramananandro,
Aseem Rastogi,
Nikhil Swamy,
Aymeric Fromherz,
Kesha Hietala,
Bryan Parno, and
Ravi Ramamurthy
(Microsoft Research, USA; Microsoft Research, India; Inria, France; University of Maryland, USA; Carnegie Mellon University, USA)
Publisher's Version
Info
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory
Valentin Blot,
Denis Cousineau,
Enzo Crance,
Louise Dubois de Prisque,
Chantal Keller,
Assia Mahboubi, and Pierre Vial
(LMF, France; Inria, France; University of Paris-Saclay, France; Mitsubishi, France; Nantes Université, France; École Centrale Nantes, France; CNRS, France; LS2N, France; UMR 6004, France)
Publisher's Version
proc time: 7.73