E-LIB Suche - Ergebnisse für: Koenig, Jérémie

1

ThreadAbs: A template to build verified thread-local interf..:

Kim, Jieung ; Koenig, Jérémie ; Chen, Hao..
Journal of Systems Architecture. 147 (2024) - p. 103046 , 2024

2

Fully Composable and Adequate Verified Compilation with Dir..:

Zhang, Ling ; Wang, Yuting ; Wu, Jinhua..
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2160-2190 , 2024

Link: https://doi.org/10.1145/..

3

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://dl.acm.org/doi/1..

4

Layered and object-based game semantics:

Oliveira Vale, Arthur ; Melliès, Paul-André ; Shao, Zhong..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-32 , 2022

Link: https://doi.org/10.1145/..

5

Verified compilation of C programs with a nominal memory mo..:

Wang, Yuting ; Zhang, Ling ; Shao, Zhong.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://dl.acm.org/doi/1..

6

Verified compilation of C programs with a nominal memory mo..:

Wang, Yuting ; Zhang, Ling ; Shao, Zhong.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://doi.org/10.1145/..

7

CompCertO: compiling certified open C components:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Koenig, Jérémie ; Shao, Zhong - p. 1095-1109 , 2021

Link: https://dl.acm.org/doi/1..

8

Refinement-Based Game Semantics for Certified Abstraction L..:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Koenig, Jérémie ; Shao, Zhong - p. 633-647 , 2020

Link: https://dl.acm.org/doi/1..

9

Risk based planning of network changes in evolving data cen..:

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

Alipourfard, Omid ; Gao, Jiaqi ; Koenig, Jeremie... - p. 414-429 , 2019

Link: https://dl.acm.org/doi/1..

10

Building certified concurrent OS kernels:

Gu, Ronghui ; Shao, Zhong ; Chen, Hao...
Communications of the ACM. 62 (2019) 10 - p. 89-99 , 2019

Link: https://doi.org/10.1145/..

11

Building certified concurrent OS kernels:

Gu, Ronghui ; Shao, Zhong ; Chen, Hao...
Communications of the ACM. 62 (2019) 10 - p. 89-99 , 2019

Link: https://dl.acm.org/doi/1..

12

Certified concurrent abstraction layers:

Gu, Ronghui ; Shao, Zhong ; Kim, Jieung...
ACM SIGPLAN Notices. 53 (2018) 4 - p. 646-661 , 2018

Link: https://doi.org/10.1145/..

13

Certified concurrent abstraction layers:

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

Gu, Ronghui ; Shao, Zhong ; Kim, Jieung... - p. 646-661 , 2018

Link: https://dl.acm.org/doi/1..

14

A Compositional Semantics for Verified Separate Compilation..:

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

Ramananandro, Tahina ; Shao, Zhong ; Weng, Shu-Chun.. - p. 3-14 , 2015

Link: https://dl.acm.org/doi/1..

15

Deep Specifications and Certified Abstraction Layers:

Gu, Ronghui ; Koenig, Jérémie ; Ramananandro, Tahina...
ACM SIGPLAN Notices. 50 (2015) 1 - p. 595-608 , 2015

Link: https://doi.org/10.1145/..