CPP 2016 Contributors

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (61)

Thomas Anderson University of Washington Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
Steve Anton University of Washington Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
Jeremy Avigad Carnegie Mellon University Program Co-Chair in Program Committee within the CPP-track
Sophie Bernard INRIA Author of Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials within the CPP-track in CPP 2016
Yves Bertot INRIA France Author of Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials within the CPP-track in CPP 2016
Mark Bickford Cornell University Author of A Nominal Exploration of Intuitionism within the CPP-track in CPP 2016
Sandrine Blazy IRISA / University of Rennes 1 Author of Formal Verification of Control-flow Graph Flattening within the CPP-track in CPP 2016 Committee Member in Program Committee within the CPP-track
Arthur Charguéraud Author of Higher-order Representation Predicates in Separation Logic within the CPP-track in CPP 2016
Adam Chlipala MIT United States Program Co-Chair in Program Committee within the CPP-track
Cyril Cohen Author of Formalization of a Newton series representation of polynomials within the CPP-track in CPP 2016
Thierry Coquand Chalmers University of Technology, Sweden Committee Member in Program Committee within the CPP-track
Lukasz Czajka University of Innsbruck Author of Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions within the CPP-track in CPP 2016
Leonardo De Moura Microsoft Research, Redmond Author of Dependent Type Practice within the CPP-track in CPP 2016
Boris Djalal INRIA Author of Formalization of a Newton series representation of polynomials within the CPP-track in CPP 2016
Michael D. Ernst University of Washington Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
Amy Felty University of Ottawa Author of A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules within the CPP-track in CPP 2016
Harvey Friedman Ohio State University Author of Perspectives on Formal Verfication within the CPP-track in CPP 2016
Nathan Fulton Carnegie Mellon University Author of A Logic of Proofs for Differential Dynamic Logic within the CPP-track in CPP 2016
John Harrison Intel Committee Member in Program Committee within the CPP-track
Chris Hawblitzel Microsoft Research Committee Member in Program Committee within the CPP-track
Cătălin Hriţcu INRIA Paris France Committee Member in Program Committee within the CPP-track
Brian Huffman Galois Committee Member in Program Committee within the CPP-track
Cezary Kaliszyk University of Innsbruck Author of Mizar Environment for Isabelle within the CPP-track in CPP 2016
Evgenii Kotelnikov Chalmers University of Technology Author of The Vampire and the FOOL within the CPP-track in CPP 2016
Laura Kovacs Chalmers University of Technology Author of The Vampire and the FOOL within the CPP-track in CPP 2016 Committee Member in Program Committee within the CPP-track
Peter Lammich Technische Universität München Author of Refinement Based Verification of Imperative Data Structures within the CPP-track in CPP 2016 Committee Member in Program Committee within the CPP-track
Richard Lethin Author of A Unified Coq Framework for Verifying C Programs with Floating-Point Computations within the CPP-track in CPP 2016
Hongjin Liang University of Science and Technology of China Committee Member in Program Committee within the CPP-track
Dan Licata Wesleyan University Committee Member in Program Committee within the CPP-track
Wenda Li University of Cambridge China Author of A Modular, Efficient Formalisation of Real Algebraic Numbers within the CPP-track in CPP 2016
Panagiotis Manolios Northeastern University Committee Member in Program Committee within the CPP-track
Benoit Meister Author of A Unified Coq Framework for Verifying C Programs with Floating-Point Computations within the CPP-track in CPP 2016
Dale Miller INRIA Saclay and LIX Committee Member in Program Committee within the CPP-track
Paul Mountcastle Author of A Unified Coq Framework for Verifying C Programs with Floating-Point Computations within the CPP-track in CPP 2016
Dominic Mulligan Cambridge University Committee Member in Program Committee within the CPP-track
Joachim Parrow Uppsala University Author of Bisimulation Up-to Techniques for Psi-calculi within the CPP-track in CPP 2016
Lawrence Paulson Cambridge University Author of A Modular, Efficient Formalisation of Real Algebraic Numbers within the CPP-track in CPP 2016 Committee Member in Program Committee within the CPP-track
André Platzer Author of A Logic of Proofs for Differential Dynamic Logic within the CPP-track in CPP 2016
Johannes Å. Pohjola Uppsala University Author of Bisimulation Up-to Techniques for Psi-calculi within the CPP-track in CPP 2016
Andrei Popescu Middlesex University, London Committee Member in Program Committee within the CPP-track
Karol Pąk University of Bialystok, Institute of Computer Science Author of Mizar Environment for Isabelle within the CPP-track in CPP 2016
Vincent Rahli SnT Author of A Nominal Exploration of Intuitionism within the CPP-track in CPP 2016
Tahina Ramananandro Author of A Unified Coq Framework for Verifying C Programs with Floating-Point Computations within the CPP-track in CPP 2016
Giles Reger University of Manchester Author of The Vampire and the FOOL within the CPP-track in CPP 2016
Laurence Rideau INRIA Author of Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials within the CPP-track in CPP 2016
Claudio Sacerdoti Coen University of Bologna Committee Member in Program Committee within the CPP-track
Sigurd Schneider Saarland University Author of Axiomatic Semantics for Compiler Verification within the CPP-track in CPP 2016
Steven Schäfer Author of Axiomatic Semantics for Compiler Verification within the CPP-track in CPP 2016
Gert Smolka Saarland University Author of Axiomatic Semantics for Compiler Verification within the CPP-track in CPP 2016
Michel St-Martin University of Ottawa Author of A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules within the CPP-track in CPP 2016
Pierre-Yves Strub IMDEA Software Institute Spain Author of Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials within the CPP-track in CPP 2016
Zachary Tatlock University of Washington, Seattle United States Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016 Committee Member in Program Committee within the CPP-track
René Thiemann University of Innsbruck Author of Formalizing Jordan Normal Forms in Isabelle/HOL within the CPP-track in CPP 2016
Cesare Tinelli University of Iowa Committee Member in Program Committee within the CPP-track
Alix Trieu ENS Rennes Author of Formal Verification of Control-flow Graph Flattening within the CPP-track in CPP 2016
Josef Urban Author of Mizar Environment for Isabelle within the CPP-track in CPP 2016
Andrei Voronkov University of Manchester Author of The Vampire and the FOOL within the CPP-track in CPP 2016
James R. Wilcox University of Washington United States Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
Doug Woos University of Washington United States Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
Akihisa Yamada Author of Formalizing Jordan Normal Forms in Isabelle/HOL within the CPP-track in CPP 2016
Floris van Doorn Carnegie Mellon University Author of Constructing the Propositional Truncation using Non-recursive HITs within the CPP-track in CPP 2016