Jérémie Koenig

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