CoqPL 2021 Contributors

Write a Blog >>

Tue 19 Jan 2021 Online

co-located with POPL 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (26)

A Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan Committee Member in Program Committee within the CoqPL-track
Andrew W. AppelAppel, Andrew W. Princeton The B+-tree Index as a Verified Software Unit
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Carnegie Mellon University, USAUnited States Committee Member in Program Committee within the CoqPL-track
B Jesper BengtsonBengtson, Jesper IT University of Copenhagen Committee Member in Program Committee within the CoqPL-track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States The B+-tree Index as a Verified Software Unit
Thomas BourgeatBourgeat, Thomas MIT CSAIL An experience report on writing usable DSLs in Coq
Patrick BrinichBrinich, Patrick Drexel University Verification of Algorithm and Code Generation for Signal Transforms
C Tej ChajedChajed, Tej Massachusetts Institute of Technology, USAUnited States Record Updates in Coq
Shardul ChiplunkarChiplunkar, Shardul Massachusetts Institute of Technology Automated Synthesis of Verified Firewalls
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Automated Synthesis of Verified Firewalls
D Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the CoqPL-track
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml
Paolo G. GiarrussoGiarrusso, Paolo G. Delft University of Technology Committee Member in Program Committee within the CoqPL-track
Jason GrossGross, Jason MIT CSAILUnited States A Limited Case for Reification by Type Inference
J Jeremy JohnsonJohnson, Jeremy Drexel University, USA Verification of Algorithm and Code Generation for Signal Transforms
Jacques-Henri JourdanJourdan, Jacques-Henri Universersité Paris Saclay, CNRS, LRIFrance Committee Member in Program Committee within the CoqPL-track
K Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States The B+-tree Index as a Verified Software Unit
M Assia MahboubiMahboubi, Assia INRIAFrance Co-chair in Organizing Committee within the CoqPL-track
Kenji MaillardMaillard, Kenji Inria Nantes & University of Chile Committee Member in Program Committee within the CoqPL-track
P Clément Pit-ClaudelPit-Claudel, Clément Massachusetts Institute of Technology, USA Automated Synthesis of Verified Firewalls An experience report on writing usable DSLs in Coq
Q Xuanrui QiQi, Xuanrui Nagoya UniversityJapan Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml
S Matthieu SozeauSozeau, Matthieu InriaFrance Session with the Coq Development Team
Kathrin StarkStark, Kathrin Princeton University, USAUnited States Committee Member in Program Committee within the CoqPL-track
T Enrico TassiTassi, Enrico INRIAFrance Session with the Coq Development Team
Amin TimanyTimany, Amin Aarhus UniversityDenmark Co-chair in Organizing Committee within the CoqPL-track
Z Yannick ZakowskiZakowski, Yannick InriaFrance Verifying a compiler through equational means Invited Speaker in Invited speaker within the CoqPL-track