Jérémie Koenig

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Pursuit Evasion

Compositional Semantics

Top Venues

Proc. ACM Program. Lang.

Security Protocols Workshop

Publications

Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions. J. Syst. Archit. 147 (2024)
Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ling Zhang, Yuting Wang, Jérémie Koenig, Zhong Shao
A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation. CoRR (2023)
Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig
Verified compilation of C programs with a nominal memory model. Proc. ACM Program. Lang. 6 (POPL) (2022)
Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco
Layered and object-based game semantics. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jérémie Koenig
Grounding Game Semantics in Categorical Algebra. CoRR (2022)
Jérémie Koenig, Zhong Shao
CompCertO: compiling certified open C components. PLDI (2021)
Jérémie Koenig, Zhong Shao
Refinement-Based Game Semantics for Certified Abstraction Layers. LICS (2020)
Omid Alipourfard, Jiaqi Gao, Jérémie Koenig, Chris Harshaw, Amin Vahdat, Minlan Yu
Risk based planning of network changes in evolving data centers. SOSP (2019)
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo
Building certified concurrent OS kernels. Commun. ACM 62 (10) (2019)
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro
Certified concurrent abstraction layers. PLDI (2018)
Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
Deep Specifications and Certified Abstraction Layers. POPL (2015)
Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, Yuchen Fu
A Compositional Semantics for Verified Separate Compilation and Linking. CPP (2015)
Joan Feigenbaum, Jérémie Koenig
On the Feasibility of a Technological Response to the Surveillance Morass. Security Protocols Workshop (2014)
Joan Feigenbaum, Jérémie Koenig
On the Feasibility of a Technological Response to the Surveillance Morass (Transcript of Discussion). Security Protocols Workshop (2014)