CPP 2019 Contributors -

Sun 13 - Sat 19 January 2019 Cascais, Portugal

co-located with POPL 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (74)

Mauricio Ayala-Rincon University of Brasília Brazil Committee Member in Program Committee within the CPP-track
Véronique Benzaken LRI, Université Paris-Sud France Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track in CPP 2019
Lennart Beringer Princeton University United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Jasmin Christian Blanchette Vrije Universiteit Amsterdam Netherlands Author of Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL within the CPP 2019-track in CPP 2019 Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track in CPP 2019
Sandrine Blazy Univ Rennes- IRISA France Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track in CPP 2019
Ana Bove Chalmers University of Technology, Sweden Committee Member in Program Committee within the CPP-track
Kaustuv Chaudhuri Inria, France France Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track in CPP 2019
Evelyne Contejean Author of A Coq Mechanised Formal Semantics for Realistic SQL Queries - Formally Reconciling SQL and Bag Relational Algebra within the CPP 2019-track in CPP 2019
Benjamin Delaware Purdue University Author of A Verified Protocol Buffer Compiler within the CPP 2019-track in CPP 2019
Aaron Dutle Committee Member in Program Committee within the CPP-track
Manuel Eberl Technische Universität München Germany Author of Verified Solving and Asymptotics of Linear Recurrences within the CPP 2019-track in CPP 2019
Bertram Felgenhauer Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Amy Felty University of Ottawa Canada Author of A Linear Logical Framework in Hybrid within the CPP 2019-track in CPP 2019
Yannick Forster Saarland University Germany Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 2019 Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track in CPP 2019 Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track in CPP 2019
Georges Gonthier Inria Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP)
Elsa Gunter University of Illinois United States Author of Dynamic Class Initialization Semantics: a Jinja Extension within the CPP 2019-track in CPP 2019
Chris Hawblitzel Microsoft Research Session Chair of Research Papers: Program Verification (part of CPP) Committee Member in Program Committee within the CPP-track
Aquinas Hobor Committee Member in Program Committee within the CPP-track
Wolf Honore Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Rémi Hutin IRISA / ENS Rennes France Author of Formal Verification of a Program Obfuscation Based on Mixed Boolean-Arithmetic Expressions within the CPP 2019-track in CPP 2019
Johannes Hölzl Vrije Universiteit Amsterdam Netherlands Committee Member in Program Committee within the CPP-track
Fabian Immler Author of Smooth Manifolds and Types to Sets for Linear Algebra in Isabelle/HOL within the CPP 2019-track in CPP 2019
Jonas Kaiser Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track in CPP 2019
Chantal Keller LRI, Université Paris-Sud France Committee Member in Program Committee within the CPP-track
Dominik Kirst Saarland University Germany Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track in CPP 2019
Gerwin Klein UNSW, Australia Committee Member in Program Committee within the CPP-track
Nicolas Koh Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Dominique Larchey-Wendling CNRS, LORIA France Author of Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines within the CPP 2019-track in CPP 2019
Robert Y. Lewis Vrije Universiteit Amsterdam Netherlands Author of A Formal Proof of Hensel's Lemma over the p-adic Integers within the CPP 2019-track in CPP 2019
Dan Licata Wesleyan University United States Committee Member in Program Committee within the CPP-track
Wenda Li University of Cambridge Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track in CPP 2019
Yishuai Li University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Yao Li University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Alexander Lochmann Author of Certified ACKBO within the CPP 2019-track in CPP 2019
Assia Mahboubi INRIA France Session Chair of Research Papers: Proof Theory, Theory of Programming Languages (part of CPP) Session Chair of Keynote 2 and Research Paper (part of CPP) Author of Business Meeting within the CPP 2019-track in CPP 2019 Program Co-Chair in Program Committee within the CPP-track
Matteo Manighetti Inria & École Polytechnique France Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track in CPP 2019
William Mansky University of Illinois at Chicago United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Susannah Mansky Author of Dynamic Class Initialization Semantics: a Jinja Extension within the CPP 2019-track in CPP 2019
Jean Everson Martina UFSC - Universidade Federal de Santa Catarina Brazil Committee Member in Program Committee within the CPP-track
Aart Middeldorp Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Dale Miler INRIA Saclay and LIX France Author of A Proof-Theoretic Approach to Certifying Skolemization within the CPP 2019-track in CPP 2019
Toby Murray University of Melbourne, Australia Australia Committee Member in Program Committee within the CPP-track
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Session Chair of Keynote 1 and Research Paper (part of CPP) Author of Business Meeting within the CPP 2019-track in CPP 2019 Program Co-Chair in Program Committee within the CPP-track
Lawrence Paulson University of Cambridge United Kingdom Author of Counting Polynomial Roots in Isabelle/HOL: A formal Proof of the Budan-Fourier Theorem within the CPP 2019-track in CPP 2019
Benjamin C. Pierce University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
André Platzer Carnegie Mellon University United States Committee Member in Program Committee within the CPP-track
Andrei Popescu Middlesex University, London United Kingdom Session Chair of Research Papers: Rewriting, Automated Reasoning (part of CPP) Committee Member in Program Committee within the CPP-track
Turaga Prathamesh Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Franziska Rapp Author of A Verified Ground Confluence Tool for Linear Variable-Separated Rewrite Systems in Isabelle/HOL within the CPP 2019-track in CPP 2019
Binoy Ravindran Virginia Tech Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track in CPP 2019
Giselle Reis Carnegie Mellon University Committee Member in Program Committee within the CPP-track
Ian Roessle Virginia Tech, USA Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track in CPP 2019
Anders Schlichtkrull Technical University of Denmark Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track in CPP 2019
Steven Schäfer Saarland University Germany Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track in CPP 2019 Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 2019
Zhong Shao Yale University United States Session Chair of Research Papers: Formalization of Mathematics and Computer Algebra (part of CPP)
Anna Slobodova Committee Member in Program Committee within the CPP-track
Gert Smolka Saarland University Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track in CPP 2019
Matthieu Sozeau Inria France Author of Eliminating Reflection from Type Theory within the CPP 2019-track in CPP 2019
Simon Spies Saarland University Germany Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 2019
Kathrin Stark Saarland University, Germany Germany Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track in CPP 2019 Author of Call-By-Push-Value in Coq: Operational, Equational, and Denotational Theory within the CPP 2019-track in CPP 2019
Christian Sternagel University of Innsbruck, Austria Austria Author of Certified ACKBO within the CPP 2019-track in CPP 2019 Committee Member in Program Committee within the CPP-track
Nicolas Tabareau Inria France Author of Eliminating Reflection from Type Theory within the CPP 2019-track in CPP 2019
Nicolas Tabareau Inria Session Chair of Research Papers: Program Verification (part of CPP)
Enrico Tassi INRIA France Committee Member in Program Committee within the CPP-track
Zachary Tatlock University of Washington United States Committee Member in Program Committee within the CPP-track
Dmitriy Traytel ETH Zurich Switzerland Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track in CPP 2019
Freek Verbeek Open University of the Netherlands, The Netherlands Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track in CPP 2019
Bow-Yaw Wang Committee Member in Program Committee within the CPP-track
Tjark Weber Uppsala University Sweden Committee Member in Program Committee within the CPP-track
Theo Winterhalter Gallinette / Inria / LS2N France Author of Eliminating Reflection from Type Theory within the CPP 2019-track in CPP 2019
Li-yao Xia Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Qianchuan Ye Purdue University Author of A Verified Protocol Buffer Compiler within the CPP 2019-track in CPP 2019
Steve Zdancewic University of Pennsylvania United States Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track in CPP 2019
Bohua Zhan Author of Smooth Manifolds and Types to Sets for Linear Algebra in Isabelle/HOL within the CPP 2019-track in CPP 2019