• 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
  • 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
xMon 12 May 20:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up