• Sign in
  • Sign up
conf.researchr.org / Jérémie Koenig
  • 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
xSat 4 Feb 23:13
using conf.researchr.org (v1.58.0)
Support page
Sign Up