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