Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jérémie Koenig
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2021 profile
POPL 2016 profile
POPL 2022 profile
SPLASH 2022 profile
SPLASH 2023 profile
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
Share
x
Sat 4 Feb 23:13