CoqPL 2020 Contributors

Write a Blog >>

Sat 25 Jan 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (36)

A Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Deriving Instances with Dependent Types
B Aurèle BarrièreBarrière, Aurèle Univ Rennes, IRISA Towards Formally Verified Just-in-Time compilation
Yves BertotBertot, Yves INRIAFrance Session Chair of Invited Talk (part of CoqPL) The use of Coq for Common Criteria Evaluations
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Towards Formally Verified Just-in-Time compilation
C Tej ChajedChajed, Tej Massachusetts Institute of Technology, USAUnited States Verifying concurrent Go code in Coq with Goose
D Delphine DemangeDemange, Delphine Univ Rennes, Inria, CNRS, IRISA Committee Member in Program Committee within the CoqPL-track
Andrej DudenhefnerDudenhefner, Andrej Saarland University A Coq Library of Undecidable Problems
Maxime DénèsDénès, Maxime Inria Session with the Coq Development Team The use of Coq for Common Criteria Evaluations
F Arnaud FontaineFontaine, Arnaud ANSSI The use of Coq for Common Criteria Evaluations
Yannick ForsterForster, Yannick Saarland UniversityGermany A Coq Library of Undecidable Problems
H Edith HeiterHeiter, Edith Saarland University A Coq Library of Undecidable Problems
K M. Frans KaashoekKaashoek, M. Frans Massachusetts Institute of Technology, USA Verifying concurrent Go code in Coq with Goose
Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance SMTCoq: Safe and efficient automation in Coq (Keynote) Invited Speaker in Invited speakers within the CoqPL-track
Dominik KirstKirst, Dominik Saarland UniversityGermany A Coq Library of Undecidable Problems
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Session Chair of Contributed Talks & Coq Developers (part of CoqPL) Session Chair of Invited Talk (part of CoqPL) Co-chair in Organizing Committee within the CoqPL-track
Fabian KunzeKunze, Fabian Saarland University A Coq Library of Undecidable Problems
L Vincent LaporteLaporte, Vincent Inria The use of Coq for Common Criteria Evaluations
Dominique Larchey-WendlingLarchey-Wendling, Dominique CNRS, LORIAFrance A Coq Library of Undecidable Problems
Thomas LetanLetan, Thomas ANSSI The use of Coq for Common Criteria Evaluations
M Assia MahboubiMahboubi, Assia INRIAFrance Co-chair in Organizing Committee within the CoqPL-track
P David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance Towards Formally Verified Just-in-Time compilation
R Christine RizkallahRizkallah, Christine The University of MelbourneAustralia Committee Member in Program Committee within the CoqPL-track
S Gert SmolkaSmolka, Gert Saarland University A Coq Library of Undecidable Problems
Michael SoegtropSoegtrop, Michael Intel Committee Member in Program Committee within the CoqPL-track
Matthieu SozeauSozeau, Matthieu InriaFrance Session with the Coq Development Team A Tutorial on Equations
Simon SpiesSpies, Simon Saarland UniversityGermany A Coq Library of Undecidable Problems
Kathrin StarkStark, Kathrin Princeton University, USAGermany Autosubst 2: Mechanising binders in Coq (Keynote) Invited Speaker in Invited speakers within the CoqPL-track
T Éric TanterTanter, Éric University of ChileChile Committee Member in Program Committee within the CoqPL-track
Joseph TassarottiTassarotti, Joseph Boston College Session Chair of Contributed Talks & Coq Developers (part of CoqPL) Verifying concurrent Go code in Coq with Goose Committee Member in Program Committee within the CoqPL-track
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Session Chair of Contributed Talks (part of CoqPL)
Andrew TolmachTolmach, Andrew Portland State University Committee Member in Program Committee within the CoqPL-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Committee Member in Program Committee within the CoqPL-track
W Dominik WehrWehr, Dominik Saarland University, Universiteit van Amsterdam A Coq Library of Undecidable Problems
Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States Committee Member in Program Committee within the CoqPL-track
Maximilian WuttkeWuttke, Maximilian Saarland University A Coq Library of Undecidable Problems
Z Nickolai ZeldovichZeldovich, Nickolai Massachusetts Institute of Technology, USA Verifying concurrent Go code in Coq with Goose