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: 4.28