CoqPL 2024 Contributors

Sat 20 Jan 2024 London, United Kingdom

co-located with POPL 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (28)

B Yves BertotBertot, Yves INRIAFrance Session with the Coq Development Team
Laura BrædderBrædder, Laura A formal security analysis of Blockchain voting
C Tej ChajedChajed, Tej UW-MadisonUnited States Co-chair in Program Committee within the CoqPL-track
Arthur CharguéraudCharguéraud, Arthur InriaFrance Committee Member in Program Committee within the CoqPL-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the CoqPL-track
Liron CohenCohen, Liron Ben-Gurion University of the NegevIsrael Committee Member in Program Committee within the CoqPL-track
F Amy FeltyFelty, Amy University of OttawaCanada Committee Member in Program Committee within the CoqPL-track
G Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús INRIAFrance Session with the Coq Development Team Integrating Dependency Building with Document Checking in Coq
Armaël GuéneauGuéneau, Armaël Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance Melocoton: A Program Logic for Verified Interoperability Between OCaml and C (Invited Talk)
H Lasse Letager HansenHansen, Lasse Letager Aarhus University Specifying Smart Contract with Hax and ConCert A formal security analysis of Blockchain voting
J Ralf JungJung, Ralf ETH ZurichSwitzerland Committee Member in Program Committee within the CoqPL-track
K Jan-Oliver KaiserKaiser, Jan-Oliver BedRock Systems, MPI-SWSGermany Committee Member in Program Committee within the CoqPL-track
Jacco KrijnenKrijnen, Jacco Utrecht University InducTeX: A MetaCoq plugin for typesetting inductive definitions
L Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance A diagram editor to mechanize categorical proofs
Xavier LeroyLeroy, Xavier Collège de FranceFrance Well-founded recursion done right
M Wolfgang MeierMeier, Wolfgang CertiCoq-Wasm: Verified compilation from Coq to WebAssembly
N Eske Hoy NielsenNielsen, Eske Hoy Aarhus University A formal security analysis of Blockchain voting
P Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark CertiCoq-Wasm: Verified compilation from Coq to WebAssembly
Piotr PolesiukPolesiuk, Piotr University of Wrocław Functorial Syntax for All
S Bhakti ShahShah, Bhakti University of Chicago Integrating Dependency Building with Document Checking in Coq
Nikolaj SidorencoSidorenco, Nikolaj Aarhus University A formal security analysis of Blockchain voting
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom Functorial Syntax for All
Matthieu SozeauSozeau, Matthieu InriaFrance Session with the Coq Development Team
Bas SpittersSpitters, Bas Aarhus UniversityDenmark Specifying Smart Contract with Hax and ConCert A formal security analysis of Blockchain voting CertiCoq-Wasm: Verified compilation from Coq to WebAssembly
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Co-chair in Program Committee within the CoqPL-track
T Enrico TassiTassi, Enrico INRIAFrance Committee Member in Program Committee within the CoqPL-track
Romain TetleyTetley, Romain VsCoq 2, new foundations
Z Yannick ZakowskiZakowski, Yannick InriaFrance Committee Member in Program Committee within the CoqPL-track