( en | de | ru )

 

Disambiguation of "Koenig, Jérémie"

Author of the publication

copydeleteadd this publication to your clipboard
Building certified concurrent OS kernels.

, , , , , , , and . Commun. ACM, 62 (10): 89-99 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jérémie Decock

Jérémie Guiochet

Jérémie Allard

Jérémie Gaidamour

Jérémie Segouat

 

Other publications of authors with the same name

Refinement-Based Game Semantics for Certified Abstraction Layers., and . LICS, page 633-647. ACM, (2020)Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules., , , , and . Proc. ACM Program. Lang., 8 (POPL): 2160-2190 (January 2024)A Bottom-Up Approach to a Unified Semantic Interface for Verified Compositional Compilation., , , and . CoRR, (2023)ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions., , , , and . J. Syst. Archit., (February 2024)On the Feasibility of a Technological Response to the Surveillance Morass (Transcript of Discussion)., and . Security Protocols Workshop, volume 8809 of Lecture Notes in Computer Science, page 253-262. Springer, (2014)On the Feasibility of a Technological Response to the Surveillance Morass., and . Security Protocols Workshop, volume 8809 of Lecture Notes in Computer Science, page 239-252. Springer, (2014)CompCertO: compiling certified open C components., and . PLDI, page 1095-1109. ACM, (2021)Risk based planning of network changes in evolving data centers., , , , , and . SOSP, page 414-429. ACM, (2019)Building certified concurrent OS kernels., , , , , , , and . Commun. ACM, 62 (10): 89-99 (2019)