CoqPL 2017 Contributors -

Write a Blog >>

Sat 21 Jan 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (35)

A Abhishek AnandAnand, Abhishek CertiCoq: A verified compiler for Coq
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL
Andrew W. AppelAppel, Andrew W. Princeton CertiCoq: A verified compiler for Coq
Izumi AsakuraAsakura, Izumi Tokyo Institute of Technology, JapanJapan CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL
B Lennart BeringerBeringer, Lennart Committee Member in Program Committee within the CoqPL-track
Frédéric BessonBesson, Frédéric ppsimpl: a reflexive Coq tactic for canonising goals
Lars BirkedalBirkedal, Lars Aarhus University Logical Relations in Iris
Sandrine BlazyBlazy, Sandrine University of Rennes 1, FranceFrance Session Chair of Midday Session (part of CoqPL) Program Co-Chair in Program Committee within the CoqPL-track
D Ryan DoengesDoenges, Ryan University of WashingtonUnited States Verification of Implementations of Distributed Systems Under Churn
F Florian FaissoleFaissole, Florian Synthetic topology in HoTT for probabilistic programming
G Emilio Jesús Gallego AriasGallego Arias, Emilio Jesús MINES ParisTechFrance Session Chair of Opening Session (part of CoqPL) Program Co-Chair in Program Committee within the CoqPL-track
K Robbert KrebbersKrebbers, Robbert Delft University of Technology, NetherlandsNetherlands Logical Relations in Iris Invited Talk -- Demonstration of the Iris separation logic in Coq
L Hongjin LiangLiang, Hongjin University of Science and Technology of China Committee Member in Program Committee within the CoqPL-track
M Nicolas MagaudMagaud, Nicolas Transferring Arithmetic Decision Procedures (on Z) to Alternative Representations
Gregory MalechaMalecha, Gregory UCSD Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of Technology CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL
Guillaume MelquiondMelquiond, Guillaume Inria Committee Member in Program Committee within the CoqPL-track
Greg MorrisettMorrisett, Greg Cornell University CertiCoq: A verified compiler for Coq
P Karl PalmskogPalmskog, Karl Verification of Implementations of Distributed Systems Under Churn
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton University, USAUnited States CertiCoq: A verified compiler for Coq
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the CoqPL-track
Piotr PolesiukPolesiuk, Piotr IxFree: Step-Indexed Logical Relations in Coq
Randy PollackPollack, Randy Harvard University CertiCoq: A verified compiler for Coq
S Olivier Savary BelangerSavary Belanger, Olivier Princeton UniversityCanada CertiCoq: A verified compiler for Coq
Alan SchmittSchmitt, Alan Inria Session Chair of Morning Session (part of CoqPL)
Matthieu SozeauSozeau, Matthieu InriaFrance Session Chair of Afternoon Session (part of CoqPL) CertiCoq: A verified compiler for Coq Session with the Coq Development Team Committee Member in Program Committee within the CoqPL-track
Bas SpittersSpitters, Bas Synthetic topology in HoTT for probabilistic programming
Pierre-Yves StrubStrub, Pierre-Yves École PolytechniqueFrance Committee Member in Program Committee within the CoqPL-track
T Nicolas TabareauTabareau, Nicolas Inria, France Invited Talk -- Managing Logical and Computational Complexity using Program Transformations
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Verification of Implementations of Distributed Systems Under Churn
Amin TimanyTimany, Amin imec - Distrinet, KU LeuvenBelgium Logical Relations in Iris
W Matthew WeaverWeaver, Matthew Princeton University CertiCoq: A verified compiler for Coq
Edwin WestbrookWestbrook, Edwin Galois, Inc. Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting
James R. WilcoxWilcox, James R. University of WashingtonUnited States Verification of Implementations of Distributed Systems Under Churn
Doug WoosWoos, Doug University of WashingtonUnited States Verification of Implementations of Distributed Systems Under Churn