CoqPL 2018 Contributors

Write a Blog >>

Mon 8 - Sat 13 January 2018 Los Angeles, California, United States

co-located with POPL 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (32)

A Abhishek AnandAnand, Abhishek Cornell UniversityUnited States Revisiting Parametricity: Inductives and Uniformity of Propositions Typed Template Coq
Andrew W. AppelAppel, Andrew W. Princeton Committee Member in Program Committee within the CoqPL-track
B Andrew BedfordBedford, Andrew Laval UniversityCanada Coqatoo: Generating Natural Language Versions of Coq Proofs
Yves BertotBertot, Yves INRIAFrance Session Chair of Keynote (part of CoqPL) Session with the Coq Development Team Programme Co-Chair in Organizing Committee within the CoqPL-track Programme Co-Chair in Program Committee within the CoqPL-track
Martin BodinBodin, Martin CMM A Coq Formalisation of a Core of R
Simon BoulierBoulier, Simon Typed Template Coq
C Lukasz CzajkaCzajka, Lukasz University of Innsbruck CoqHammer: Strong Automation for Program Verification
D Benjamin DelawareDelaware, Benjamin Purdue University Session Chair of Tactics and Proof Engineering (part of CoqPL) Towards Context-Aware Data Refinement Committee Member in Program Committee within the CoqPL-track
Maxime DénèsDénès, Maxime INRIA Session with the Coq Development Team
F Xinyu FengFeng, Xinyu University of Science and Technology of ChinaChina Committee Member in Program Committee within the CoqPL-track
Dan FruminFrumin, Dan Radboud University A calculus for logical refinements in separation logic
H Hugo HerbelinHerbelin, Hugo INRIAFrance Committee Member in Program Committee within the CoqPL-track
K Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS A “destruct” Tactic for Mtac2
Cezary KaliszykKaliszyk, Cezary University of Innsbruck CoqHammer: Strong Automation for Program Verification
Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance Committee Member in Program Committee within the CoqPL-track
Steven KiddKidd, Steven Purdue University Towards Context-Aware Data Refinement
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt UniversityUnited Kingdom Committee Member in Program Committee within the CoqPL-track
Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya University of Pennsylvania Locally Nameless at Scale
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands A calculus for logical refinements in separation logic
Paul KrogmeierKrogmeier, Paul Purdue University Towards Context-Aware Data Refinement
M Greg MorrisettMorrisett, Greg Cornell University Revisiting Parametricity: Inductives and Uniformity of Propositions
P Jennifer PaykinPaykin, Jennifer University of PennsylvaniaUnited States Phantom Types for Quantum Programs
R Robert RandRand, Robert University of PennsylvaniaUnited States Phantom Types for Quantum Programs
S Ilya SergeySergey, Ilya University College LondonUnited Kingdom Session Chair of Semantics and Synthesis (part of CoqPL) Programme Co-Chair in Organizing Committee within the CoqPL-track Programme Co-Chair in Program Committee within the CoqPL-track
Matthieu SozeauSozeau, Matthieu InriaFrance Typed Template Coq Session with the Coq Development Team
T Nicolas TabareauTabareau, Nicolas Inria, France Typed Template Coq
Enrico TassiTassi, Enrico INRIA Elpi: an extension language for Coq
V Antoine VoizardVoizard, Antoine University of Pennsylvannia Locally Nameless at Scale
W Stephanie WeirichWeirich, Stephanie University of Pennsylvania, USAUnited States Locally Nameless at Scale
Edwin WestbrookWestbrook, Edwin Galois, Inc. Mechanizing the Construction and Rewriting of Proper Functions in Coq
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Session Chair of PL Metatheory (part of CoqPL) Phantom Types for Quantum Programs
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina A “destruct” Tactic for Mtac2 Committee Member in Program Committee within the CoqPL-track