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

7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018), January 8–9, 2018, Los Angeles, CA, USA

Workshop CPP 2018 – Author Index

Contents - Abstracts - Authors

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

Amani, Sidney CPP '18: "Towards Verifying Ethereum ..."
Bard, Joachim CPP '18: "Completeness and Decidability ..."
Bégel, Myriam CPP '18: "Towards Verifying Ethereum ..."
Biernacki, Dariusz CPP '18: "A Coq Formalization of Normalization ..."
Blanchette, Jasmin Christian CPP '18: "A Verified SAT Solver with ..."
Bonacina, Maria Paola CPP '18: "Proofs in Conflict-Driven ..."
Bortin, Maksym CPP '18: "Towards Verifying Ethereum ..."
Breitner, Joachim CPP '18: "Total Haskell is Reasonable ..."
Chaudhuri, Kaustuv CPP '18: "A Two-Level Logic Perspective ..."
Divasón, Jose CPP '18: "Efficient Certification of ..."
Djalal, Boris CPP '18: "A Constructive Formalisation ..."
Doczkal, Christian CPP '18: "Completeness and Decidability ..."
Férée, Hugo CPP '18: "Formal Proof of Polynomial-Time ..."
Firsov, Denis CPP '18: "Generic Derivation of Induction ..."
Fleury, Mathias CPP '18: "A Verified SAT Solver with ..."
Fournet, Cédric CPP '18: "A Monadic Framework for Relational ..."
Frumin, Dan CPP '18: "Finite Sets in Homotopy Type ..."
Geuvers, Herman CPP '18: "Finite Sets in Homotopy Type ..."
Gondelman, Léon CPP '18: "Finite Sets in Homotopy Type ..."
Graham-Lengrand, Stéphane CPP '18: "Proofs in Conflict-Driven ..."
Grimm, Niklas CPP '18: "A Monadic Framework for Relational ..."
Grossman, Dan CPP '18: "Œuf: Minimizing the Coq Extraction ..." CPP '18: "Adapting Proof Automation ..."
Hriţcu, Cătălin CPP '18: "A Monadic Framework for Relational ..."
Hym, Samuel CPP '18: "Formal Proof of Polynomial-Time ..."
Joosten, Sebastiaan CPP '18: "Efficient Certification of ..."
Kaiser, Jonas CPP '18: "Binder Aware Recursion over ..."
Kaliszyk, Cezary CPP '18: "Formal Microeconomic Foundations ..."
Kirst, Dominik CPP '18: "Large Model Constructions ..."
Kunčar, Ondřej CPP '18: "Efficient Certification of ..."
Lammich, Peter CPP '18: "A Verified SAT Solver with ..."
Lenglet, Sergueï CPP '18: "HOπ in Coq ..."
Leo, John CPP '18: "Adapting Proof Automation ..."
Maffei, Matteo CPP '18: "A Monadic Framework for Relational ..."
Maillard, Kenji CPP '18: "A Monadic Framework for Relational ..."
Mayero, Micaela CPP '18: "Formal Proof of Polynomial-Time ..."
McKinna, James CPP '18: "Triangulating Context Lemmas ..."
McLaughlin, Craig CPP '18: "Triangulating Context Lemmas ..."
Moyen, Jean-Yves CPP '18: "Formal Proof of Polynomial-Time ..."
Mullen, Eric CPP '18: "Œuf: Minimizing the Coq Extraction ..."
Nowak, David CPP '18: "Formal Proof of Polynomial-Time ..."
Parsert, Julian CPP '18: "Formal Microeconomic Foundations ..."
Pernsteiner, Stuart CPP '18: "Œuf: Minimizing the Coq Extraction ..."
Pientka, Brigitte CPP '18: "POPLMark Reloaded: Mechanizing ..."
Pîrlea, George CPP '18: "Mechanising Blockchain Consensus ..."
Protzenko, Jonathan CPP '18: "A Monadic Framework for Relational ..."
Ramananandro, Tahina CPP '18: "A Monadic Framework for Relational ..."
Rastogi, Aseem CPP '18: "A Monadic Framework for Relational ..."
Ringer, Talia CPP '18: "Adapting Proof Automation ..."
Rizkallah, Christine CPP '18: "Total Haskell is Reasonable ..."
Rouhling, Damien CPP '18: "A Formal Proof in Coq of a ..."
Schäfer, Steven CPP '18: "Binder Aware Recursion over ..."
Schmitt, Alan CPP '18: "HOπ in Coq ..."
Sergey, Ilya CPP '18: "Mechanising Blockchain Consensus ..."
Shankar, Natarajan CPP '18: "Proofs in Conflict-Driven ..."
Smolka, Gert CPP '18: "Large Model Constructions ..."
Spector-Zabusky, Antal CPP '18: "Total Haskell is Reasonable ..."
Staples, Mark CPP '18: "Towards Verifying Ethereum ..."
Stark, Ian CPP '18: "Triangulating Context Lemmas ..."
Stark, Kathrin CPP '18: "Binder Aware Recursion over ..."
Stump, Aaron CPP '18: "Generic Derivation of Induction ..."
Swamy, Nikhil CPP '18: "A Monadic Framework for Relational ..."
Tatlock, Zachary CPP '18: "Œuf: Minimizing the Coq Extraction ..."
Thiemann, René CPP '18: "Efficient Certification of ..."
Watt, Conrad CPP '18: "Mechanising and Verifying ..."
Weide, Niels van der CPP '18: "Finite Sets in Homotopy Type ..."
Weirich, Stephanie CPP '18: "Total Haskell is Reasonable ..."
Wieczorek, Paweł CPP '18: "A Coq Formalization of Normalization ..."
Wilcox, James R. CPP '18: "Œuf: Minimizing the Coq Extraction ..."
Yamada, Akihisa CPP '18: "Efficient Certification of ..."
Yazdani, Nathaniel CPP '18: "Adapting Proof Automation ..."
Zanella-Béguelin, Santiago CPP '18: "A Monadic Framework for Relational ..."

71 authors

proc time: 2.72