Powered by
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022),
January 17-18, 2022,
Philadelphia, PA, USA
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022)
Frontmatter
Invited Talks
Program Verification
Formally Verified Superblock Scheduling
Cyril Six,
Léo Gourdin,
Sylvain Boulmé,
David Monniaux,
Justus Fasse, and Nicolas Nardino
(Kalray, France; Grenoble Alps University, France; CNRS, France; Grenoble INP, France; Verimag, France; ENS Lyon, France)
Publisher's Version
Info
Semantics
Verified Data Structures
Distributed Systems and Concurrency
Blockchains and Cryptography
Proof Infrastructure
Rewriting and Automated Reasoning
Formalized Mathematics
Formalization of Logic
Category Theory and HoTT
Implementing a Category-Theoretic Framework for Typed Abstract Syntax
Benedikt Ahrens,
Ralph Matthes, and
Anders Mörtberg
(TU Delft, Netherlands; University of Birmingham, UK; IRIT, France; Université de Toulouse, France; CNRS, France; Toulouse INP, France; UT3, France; Stockholm University, Sweden)
Publisher's Version
proc time: 3.09