| 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 | 269 | 2015 |
| 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 | 51 | 2018 |
| 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 | 38 | 2019 |
| A compositional semantics for verified separate compilation and linking T Ramananandro, Z Shao, SC Weng, J Koenig, Y Fu Proceedings of the 2015 Conference on Certified Programs and Proofs, 3-14, 2015 | 27 | 2015 |
| 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 | 26 | 2020 |
| 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 | 25 | 2019 |
| CompCertO: compiling certified open C components J Koenig, Z Shao Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 20 | 2021 |
| 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 | 12 | 2022 |
| 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 | 7 | 2022 |
| On the feasibility of a technological response to the surveillance morass J Feigenbaum, J Koenig Cambridge International Workshop on Security Protocols, 239-252, 2014 | 6 | 2014 |
| Systems and methods of formal verification Z Shao, R Gu, V Sjoberg, J Kim, J Koenig US Patent 11,409,630, 2022 | 5 | 2022 |
| Refinement-Based Game Semantics for Certified Components J Koenig Yale University, 2020 | 4 | 2020 |
| Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules L Zhang, Y Wang, J Wu, J Koenig, Z Shao Proceedings of the ACM on Programming Languages 8 (POPL), 2160-2190, 2024 | 2 | 2024 |
| Grounding Game Semantics in Categorical Algebra J Koenig Proceedings of the Fourth International Conference on Applied Category …, 2021 | 1 | 2021 |
| ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions J Kim, J Koenig, H Chen, R Gu, Z Shao Journal of Systems Architecture 147, 103046, 2024 | | 2024 |
| Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report) L Zhang, Y Wang, J Wu, J Koenig, Z Shao arXiv preprint arXiv:2302.12990, 2023 | | 2023 |
| A game-theoretic interpretation of Dialectica categories J Koenig, J Rooduijn, CC Bloomfield, VCV de Paiva 2023 Joint Mathematics Meetings (JMM 2023), 0 | | |
| A Coq Library for Binary Logical Relations J Koenig | | |
