CPP 2017
6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017)
Powered by
Conference Publishing Consulting

6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), January 16–17, 2017, Paris, France

CPP 2017 – Author Index

Contents - Abstracts - Authors

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

Affeldt, Reynald CPP '17: "Formal Foundations of 3D Geometry ..."
Allais, Guillaume CPP '17: "Type-and-Scope Safe Programs ..."
Amani, Sidney CPP '17: "Complx: A Verification Framework ..."
Andronick, June CPP '17: "Complx: A Verification Framework ..."
Bauer, Andrej CPP '17: "The HoTT Library: A Formalization ..."
Bohrer, Brandon CPP '17: "Formally Verified Differential ..."
Boldo, Sylvie CPP '17: "A Coq Formal Proof of the ..."
Bortin, Maksym CPP '17: "Complx: A Verification Framework ..."
Boulier, Simon CPP '17: "The Next 700 Syntactical Models ..."
Brotherston, James CPP '17: "Automatic Cyclic Termination ..."
Chapman, James CPP '17: "Type-and-Scope Safe Programs ..."
Clément, François CPP '17: "A Coq Formal Proof of the ..."
Cockx, Jesper CPP '17: "Lifting Proof-Relevant Unification ..."
Cohen, Cyril CPP '17: "Formal Foundations of 3D Geometry ..."
Devietti, Joseph CPP '17: "Verifying Dynamic Race Detection ..."
Devriese, Dominique CPP '17: "Lifting Proof-Relevant Unification ..."
Divasón, Jose CPP '17: "A Formalization of the Berlekamp-Zassenhaus ..."
Faissole, Florian CPP '17: "A Coq Formal Proof of the ..."
Feng, Xinyu CPP '17-KEY: "Mechanized Verification of ..."
Fox, Anthony CPP '17: "Verified Compilation of CakeML ..."
Gilbert, Gaëtan CPP '17: "Formalising Real Numbers in ..."
Gross, Jason CPP '17: "The HoTT Library: A Formalization ..."
Hölzl, Johannes CPP '17: "Markov Processes in Isabelle/HOL ..."
Jakubův, Jan CPP '17: "BliStrTune: Hierarchical Invention ..."
Joosten, Sebastiaan CPP '17: "A Formalization of the Berlekamp-Zassenhaus ..."
Kaiser, Jonas CPP '17: "Equivalence of System F and ..."
Kumar, Ramana CPP '17: "Verified Compilation of CakeML ..."
Lewis, Corey CPP '17: "Complx: A Verification Framework ..."
Lumsdaine, Peter LeFanu CPP '17: "The HoTT Library: A Formalization ..."
Mansky, William CPP '17: "Verifying Dynamic Race Detection ..."
Martin, Vincent CPP '17: "A Coq Formal Proof of the ..."
Martin-Dorel, Érik CPP '17: "A Reflexive Tactic for Polynomial ..."
Matsumoto, Saki CPP '17: "Formalization of Karp-Miller ..."
Mayero, Micaela CPP '17: "A Coq Formal Proof of the ..."
McBride, Conor CPP '17: "Type-and-Scope Safe Programs ..."
McKinna, James CPP '17: "Type-and-Scope Safe Programs ..."
Myreen, Magnus O. CPP '17: "Verified Compilation of CakeML ..."
Paulson, Lawrence C. CPP '17-KEY: "Porting the HOL Light Analysis ..."
Pédrot, Pierre-Marie CPP '17: "The Next 700 Syntactical Models ..."
Peng, Yuanfeng CPP '17: "Verifying Dynamic Race Detection ..."
Platzer, André CPP '17: "Formally Verified Differential ..."
Pottier, François CPP '17: "Verifying a Hash Table and ..."
Rahli, Vincent CPP '17: "Formally Verified Differential ..."
Rizkallah, Christine CPP '17: "Complx: A Verification Framework ..."
Roux, Pierre CPP '17: "A Reflexive Tactic for Polynomial ..."
Rowe, Reuben N. S. CPP '17: "Automatic Cyclic Termination ..."
Sekine, Shogo CPP '17: "Formalization of Karp-Miller ..."
Shulman, Michael CPP '17: "The HoTT Library: A Formalization ..."
Smolka, Gert CPP '17: "Equivalence of System F and ..."
Sozeau, Matthieu CPP '17: "The HoTT Library: A Formalization ..."
Spitters, Bas CPP '17: "The HoTT Library: A Formalization ..."
Tabareau, Nicolas CPP '17: "The Next 700 Syntactical Models ..."
Tan, Yong Kiam CPP '17: "Verified Compilation of CakeML ..."
Tebbi, Tobias CPP '17: "Equivalence of System F and ..."
Thiemann, René CPP '17: "A Formalization of the Berlekamp-Zassenhaus ..."
Tuong, Joseph CPP '17: "Complx: A Verification Framework ..."
Urban, Josef CPP '17: "BliStrTune: Hierarchical Invention ..."
Völp, Marcus CPP '17: "Formally Verified Differential ..."
Vukotic, Ivana CPP '17: "Formally Verified Differential ..."
Yamada, Akihisa CPP '17: "A Formalization of the Berlekamp-Zassenhaus ..."
Yamamoto, Mitsuharu CPP '17: "Formalization of Karp-Miller ..."
Zdancewic, Steve CPP '17: "Verifying Dynamic Race Detection ..."

62 authors

proc time: 0.27