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

POPL 2022 Verified Compilation of C Programs with a Nominal Memory Model
Layered and Object-Based Game Semantics
Show activities from other conferences

Using general profile