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

SPLASH 2023	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
SPLASH 2022	Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
POPL 2022	Author of Verified Compilation of C Programs with a Nominal Memory Model within the POPL-track Author of Layered and Object-Based Game Semantics within the POPL-track
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