POPL 2021 Co-Located Events
POPL 2021 Co-Located Events
Powered by
Conference Publishing Consulting

10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2021), January 17-19, 2021, Virtual, Denmark

Workshop CPP 2021 – Author Index

Contents - Abstracts - Authors

A B C D F G H K L M N P R S T V W Z

Anderson, Sean CPP '21: "Towards Formally Verified ..."
Annenkov, Danil CPP '21: "Extracting Smart Contracts ..."
Banerjee, Anindya CPP '21: "A Formal Proof of PAC Learnability ..."
Becker, Heiko CPP '21: "Lassie: HOL4 Tactics by Example ..."
Bégay, Pierre-Léo CPP '21: "Developing and Certifying ..."
Bengtson, Jesper CPP '21: "Machine-Checked Semantic Session ..."
Benzaken, Véronique CPP '21: "A Coq Formalization of Data ..."
Birkedal, Lars CPP '21: "Contextual Refinement of the ..." CPP '21: "Reasoning about Monotonicity ..."
Blanchette, Jasmin CPP '21: "A Modular Isabelle Framework ..."
Bos, Nathaniel CPP '21: "Lassie: HOL4 Tactics by Example ..."
Brunthaler, Stefan CPP '21: "Towards Efficient and Verified ..."
Cacciari Miraldo, Victor CPP '21: "Formal Verification of Authenticated, ..."
Carette, Jacques CPP '21: "Formalizing Category Theory ..."
Carr, Harold CPP '21: "Formal Verification of Authenticated, ..."
Catt, Elliot CPP '21: "On the Formalisation of Kolmogorov ..."
Chhak, CHR CPP '21: "Towards Formally Verified ..."
Cohen-Boulakia, Sarah CPP '21: "A Coq Formalization of Data ..."
Commelin, Johan CPP '21: "Formalizing the Ring of Witt ..."
Contejean, Évelyne CPP '21: "A Coq Formalization of Data ..."
Crégut, Pierre CPP '21: "Developing and Certifying ..."
Darulova, Eva CPP '21: "Lassie: HOL4 Tactics by Example ..."
Desharnais, Martin CPP '21: "Towards Efficient and Verified ..."
Dutle, Aaron CPP '21: "Formal Verification of Semi-algebraic ..."
Felgenhauer, Bertram CPP '21: "A Verified Decision Procedure ..."
Fulton, Nathan CPP '21: "CertRL: Formalizing Convergence ..."
Gavran, Ivan CPP '21: "Lassie: HOL4 Tactics by Example ..."
Haslbeck, Max W. CPP '21: "An Isabelle/HOL Formalization ..."
Hinrichsen, Jonas Kastberg CPP '21: "Machine-Checked Semantic Session ..."
Hu, Jason Z. S. CPP '21: "Formalizing Category Theory ..."
Keller, Chantal CPP '21: "A Coq Formalization of Data ..."
Kirst, Dominik CPP '21: "The Generalised Continuum ..."
Krebbers, Robbert CPP '21: "Machine-Checked Semantic Session ..."
Laurent, Olivier CPP '21: "An Anti-Locally-Nameless Approach ..."
Lewis, Robert Y. CPP '21: "Formalizing the Ring of Witt ..."
Limperg, Jannis CPP '21: "A Novice-Friendly Induction ..."
Lochmann, Alexander CPP '21: "A Verified Decision Procedure ..."
Lööw, Andreas CPP '21: "Lutsig: A Verified Verilog ..."
Louwrink, Daniël CPP '21: "Machine-Checked Semantic Session ..."
Majumdar, Rupak CPP '21: "Lassie: HOL4 Tactics by Example ..."
Middeldorp, Aart CPP '21: "A Verified Decision Procedure ..."
Milo, Mikkel CPP '21: "Extracting Smart Contracts ..."
Mitterwallner, Fabian CPP '21: "A Verified Decision Procedure ..."
Moir, Mark CPP '21: "Formal Verification of Authenticated, ..."