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
![ORCID logo](images/orcid.svg)
, Tahina Ramananandro
![ORCID logo](images/orcid.svg)
, Aseem Rastogi
![ORCID logo](images/orcid.svg)
, Nikhil Swamy
![ORCID logo](images/orcid.svg)
, Aymeric Fromherz
![ORCID logo](images/orcid.svg)
,
Kesha Hietala ![ORCID logo](images/orcid.svg)
,
Bryan Parno ![ORCID logo](images/orcid.svg)
, 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
![ORCID logo](images/orcid.svg)
, Enzo Crance
![ORCID logo](images/orcid.svg)
, Louise Dubois de Prisque
![ORCID logo](images/orcid.svg)
,
Chantal Keller ![ORCID logo](images/orcid.svg)
, Assia Mahboubi
![ORCID logo](images/orcid.svg)
, 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: 4.78