conf.researchr.org / 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

DeepSpec 2019Presenter of Refinement-Based Game Semantics for CompCert within the DeepSpec 2019-track
PLDI 2018Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
CoqPL 2016Author of A Coq Library for Binary Logical Relations within the CoqPL-track