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
POPL 2024 profile
POPL 2025 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
2025
POPL
Author of Unifying compositional verification and certified compilation with a three-dimensional refinement algebra within the POPL-track
2024
POPL
Author of Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules within the POPL-track
2023
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
2022
SPLASH
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
POPL
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
2021
PLDI
Author of CompCertO: Compiling Certified Open C Components within the PLDI-track
2019
DeepSpec
Presenter of Refinement-Based Game Semantics for CompCert within the DeepSpec 2019-track
2018
PLDI
Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
2016
CoqPL
Author of A Coq Library for Binary Logical Relations within the CoqPL-track
Share
x
Thu 21 Nov 18:24