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

8th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2019), January 14–15, 2019, Cascais, Portugal

Workshop CPP 2019 – Author Index

Contents - Abstracts - Authors

B C D E F G H I K L M P R S T V W X Y Z

Benzaken, Véronique CPP '19: "A Coq Mechanised Formal Semantics ..."
Beringer, Lennart CPP '19: "From C to Interaction Trees: ..."
Blanchette, Jasmin Christian CPP '19: "A Verified Prover Based on ..." CPP '19: "Formalizing the Metatheory ..."
Blazy, Sandrine CPP '19: "Formal Verification of a Program ..."
Chaudhuri, Kaustuv CPP '19: "A Proof-Theoretic Approach ..."
Contejean, Évelyne CPP '19: "A Coq Mechanised Formal Semantics ..."
Delaware, Benjamin CPP '19: "A Verified Protocol Buffer ..."
Eberl, Manuel CPP '19: "Verified Solving and Asymptotics ..."
Felgenhauer, Bertram CPP '19: "A Verified Ground Confluence ..."
Felty, Amy P. CPP '19: "A Linear Logical Framework ..."
Forster, Yannick CPP '19: "Call-By-Push-Value in Coq: ..." CPP '19: "On Synthetic Undecidability ..." CPP '19: "Certified Undecidability of ..."
Gunter, Elsa L. CPP '19: "Dynamic Class Initialization ..."
Honoré, Wolf CPP '19: "From C to Interaction Trees: ..."
Hutin, Rémi CPP '19: "Formal Verification of a Program ..."
Immler, Fabian CPP '19: "Smooth Manifolds and Types ..."
Kaiser, Jonas CPP '19: "Autosubst 2: Reasoning with ..."
Kirst, Dominik CPP '19: "On Synthetic Undecidability ..."
Koh, Nicolas CPP '19: "From C to Interaction Trees: ..."
Larchey-Wendling, Dominique CPP '19: "Certified Undecidability of ..."
Lewis, Robert Y. CPP '19: "A Formal Proof of Hensel's ..."
Li, Wenda CPP '19: "Counting Polynomial Roots ..."
Li, Yao CPP '19: "From C to Interaction Trees: ..."
Li, Yishuai CPP '19: "From C to Interaction Trees: ..."
Lochmann, Alexander CPP '19: "Certified ACKBO ..."
Manighetti, Matteo CPP '19: "A Proof-Theoretic Approach ..."
Mansky, Susannah CPP '19: "Dynamic Class Initialization ..."
Mansky, William CPP '19: "From C to Interaction Trees: ..."
Middeldorp, Aart CPP '19: "A Verified Ground Confluence ..."
Miller, Dale CPP '19: "A Proof-Theoretic Approach ..."
Paulson, Lawrence C. CPP '19: "Counting Polynomial Roots ..."
Pierce, Benjamin C. CPP '19: "From C to Interaction Trees: ..."
Prathamesh, T. V. H. CPP '19: "A Verified Ground Confluence ..."
Rapp, Franziska CPP '19: "A Verified Ground Confluence ..."
Ravindran, Binoy CPP '19: "Formally Verified Big Step ..."
Roessle, Ian CPP '19: "Formally Verified Big Step ..."
Schäfer, Steven CPP '19: "Autosubst 2: Reasoning with ..." CPP '19: "Call-By-Push-Value in Coq: ..."
Schlichtkrull, Anders CPP '19: "A Verified Prover Based on ..."
Smolka, Gert CPP '19: "On Synthetic Undecidability ..."
Sozeau, Matthieu CPP '19: "Eliminating Reflection from ..."
Spies, Simon CPP '19: "Call-By-Push-Value in Coq: ..."
Stark, Kathrin CPP '19: "Autosubst 2: Reasoning with ..." CPP '19: "Call-By-Push-Value in Coq: ..."
Sternagel, Christian CPP '19: "Certified ACKBO ..."
Tabareau, Nicolas CPP '19: "Eliminating Reflection from ..."
Traytel, Dmitriy CPP '19: "A Verified Prover Based on ..."
Verbeek, Freek CPP '19: "Formally Verified Big Step ..."
Winterhalter, Théo CPP '19: "Eliminating Reflection from ..."
Xia, Li-yao CPP '19: "From C to Interaction Trees: ..."
Ye, Qianchuan CPP '19: "A Verified Protocol Buffer ..."
Zdancewic, Steve CPP '19: "From C to Interaction Trees: ..."
Zhan, Bohua CPP '19: "Smooth Manifolds and Types ..."

50 authors

proc time: 2.26