conf.researchr.org / Jérémie Koenig

Registered user since Wed 19 Jun 2019

Name:Jérémie Koenig
Country:United States
Affiliation:Yale University
Personal website:http://jk.fr.eu.org/

Contributions

PLDI 2021 Author of CompCertO: Compiling Certified Open C Components within the PLDI-track
DeepSpec 2019 Presenter of Refinement-Based Game Semantics for CompCert within the DeepSpec 2019-track
PLDI 2018 Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
CoqPL 2016 Author of A Coq Library for Binary Logical Relations within the CoqPL-track