Artigos com autorizações de acesso público - Jérémie KoenigSaiba mais
8 artigos disponíveis publicamente
Deep specifications and certified abstraction layers
R Gu, J Koenig, T Ramananandro, Z Shao, X Wu, SC Weng, H Zhang, ...
ACM SIGPLAN Notices 50 (1), 595-608, 2015
Autorizações: National Natural Science Foundation of China
Certified concurrent abstraction layers
R Gu, Z Shao, J Kim, X Wu, J Koenig, V Sjöberg, H Chen, D Costanzo, ...
ACM SIGPLAN Notices 53 (4), 646-661, 2018
Autorizações: US National Science Foundation, US Department of Defense
Building certified concurrent OS kernels
R Gu, Z Shao, H Chen, J Kim, J Koenig, X Wu, V Sjöberg, D Costanzo
Communications of the ACM 62 (10), 89-99, 2019
Autorizações: US National Science Foundation, US Department of Defense
Refinement-Based Game Semantics for Certified Abstraction Layers
J Koenig, Z Shao
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Autorizações: US National Science Foundation
Risk based planning of network changes in evolving data centers
O Alipourfard, J Gao, J Koenig, C Harshaw, A Vahdat, M Yu
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 414-429, 2019
Autorizações: US National Science Foundation
CompCertO: compiling certified open C components
J Koenig, Z Shao
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Autorizações: US National Science Foundation
Layered and object-based game semantics
A Oliveira Vale, PA Melliès, Z Shao, J Koenig, L Stefanesco
Proceedings of the ACM on Programming Languages 6 (POPL), 1-32, 2022
Autorizações: US National Science Foundation, US Department of Defense
Verified compilation of C programs with a nominal memory model
Y Wang, L Zhang, Z Shao, J Koenig
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
Autorizações: US National Science Foundation, National Natural Science Foundation of China
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador