CoqPL 2022 Contributors

Sun 16 - Sat 22 January 2022 Philadelphia, Pennsylvania, United States

co-located with POPL 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Abhishek AnandAnand, Abhishek Cornell UniversityUnited States Committee Member in Program Committee within the CoqPL-track
B Yves BertotBertot, Yves INRIAFrance Session with the Coq Development Team
D Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Scrap your boilerplate definitions in 10 lines of Ltac!
Lawrence DunnDunn, Lawrence University of PennsylvaniaUnited States Tealeaves: Categorical structures for syntax
F Jim FehrleFehrle, Jim None A Visual Ltac Debugger in CoqIDE
G Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús INRIAFrance Session with the Coq Development Team
Paolo G. GiarrussoGiarrusso, Paolo G. BedRock Systems A Case for Lightweight Interfaces in Coq
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Program Committee within the CoqPL-track
Jason GrossGross, Jason MIT CSAILUnited States Session with the Coq Development Team Committee Member in Program Committee within the CoqPL-track
H Hugo HerbelinHerbelin, Hugo Session with the Coq Development Team
Rasmus Holdsbjerg-LarsenHoldsbjerg-Larsen, Rasmus Aarhus University A Verified Pipeline from a Specification Language to Optimized, Safe Rust
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Program Committee within the CoqPL-track
L Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in Program Committee within the CoqPL-track
Xavier LeroyLeroy, Xavier Collège de FranceFrance Committee Member in Program Committee within the CoqPL-track
M Gregory MalechaMalecha, Gregory BedRock SystemsUnited States A Case for Lightweight Interfaces in Coq
Mikkel MiloMilo, Mikkel Concordium Blockchain Research Center, Aarhus University A Verified Pipeline from a Specification Language to Optimized, Safe Rust
P Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Session Chair of Contributed Talks (Morning) (part of CoqPL) Session Chair of Invited Talk I (part of CoqPL) Co-chair in Organizing Committee within the CoqPL-track
Clément Pit-ClaudelPit-Claudel, Clément MIT / AWSUnited States Coq meets literate programming: tools for documenting, preserving, and sharing mechanized proofs Invited Speaker in Invited speaker within the CoqPL-track
S Fabrício S. ParanhosS. Paranhos, Fabrício Universidade Federal de Goiás Towards a Formalization of Nominal Sets in Coq
Matthieu SozeauSozeau, Matthieu InriaFrance Session with the Coq Development Team
Bas SpittersSpitters, Bas Aarhus UniversityDenmark A Verified Pipeline from a Specification Language to Optimized, Safe Rust
David SwaseySwasey, David BedRock Systems A Case for Lightweight Interfaces in Coq
T Val TannenTannen, Val University of Pennsylvania, USA Tealeaves: Categorical structures for syntax
Joseph TassarottiTassarotti, Joseph Boston CollegeUnited States Verifying Concurrent, Crash-Safe Systems with Perennial Invited Speaker in Invited speaker within the CoqPL-track
Enrico TassiTassi, Enrico INRIAFrance Committee Member in Program Committee within the CoqPL-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Session Chair of Session with the Coq Development Team (part of CoqPL) Session Chair of Invited Talk II (part of CoqPL) Session Chair of Contributed Talk (Afternoon) (part of CoqPL) Co-chair in Organizing Committee within the CoqPL-track
V Daniel VenturaVentura, Daniel Universidade Federal de Goiás Towards a Formalization of Nominal Sets in Coq
Y Qianchuan YeYe, Qianchuan Purdue UniversityUnited States Scrap your boilerplate definitions in 10 lines of Ltac!
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Tealeaves: Categorical structures for syntax