Jérémie Koenig

According to our database, Jérémie Koenig authored at least 15 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions.

Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao

J. Syst. Archit., February, 2024

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao

Proc. ACM Program. Lang., January, 2024

2023

A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation.

Ling Zhang, Yuting Wang, Jérémie Koenig, Zhong Shao

CoRR, 2023

2022

Verified compilation of C programs with a nominal memory model.

Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig

Proc. ACM Program. Lang., 2022

Layered and object-based game semantics.

Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco

Proc. ACM Program. Lang., 2022

2021

Grounding Game Semantics in Categorical Algebra.

Jérémie Koenig

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

CompCertO: compiling certified open C components.

Jérémie Koenig, Zhong Shao

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Refinement-Based Game Semantics for Certified Abstraction Layers.

Jérémie Koenig, Zhong Shao

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Building certified concurrent OS kernels.

Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo

Commun. ACM, 2019

Risk based planning of network changes in evolving data centers.

Omid Alipourfard, Jiaqi Gao, Jérémie Koenig, Chris Harshaw, Amin Vahdat, Minlan Yu

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

Certified concurrent abstraction layers.

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2015

Deep Specifications and Certified Abstraction Layers.

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

A Compositional Semantics for Verified Separate Compilation and Linking.

Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, Yuchen Fu

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

On the Feasibility of a Technological Response to the Surveillance Morass (Transcript of Discussion).

Joan Feigenbaum, Jérémie Koenig

Proceedings of the Security Protocols XXII, 2014

On the Feasibility of a Technological Response to the Surveillance Morass.

Joan Feigenbaum, Jérémie Koenig

Proceedings of the Security Protocols XXII, 2014