Jrmie Koenig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | CompCertO: compiling certified open C components. | Jrmie Koenig, Zhong Shao |
| 2020 | LICS | Refinement-Based Game Semantics for Certified Abstraction Layers. | Jrmie Koenig, Zhong Shao |
| 2019 | SOSP | Risk based planning of network changes in evolving data centers. | Omid Alipourfard, Jiaqi Gao, Jrmie Koenig, Chris Harshaw, Amin Vahdat, Minlan Yu |
| 2018 | PLDI | Certified concurrent abstraction layers. | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jrmie Koenig, Vilhelm Sjberg, Hao Chen, David Costanzo, Tahina Ramananandro |
| 2015 | CPP | A Compositional Semantics for Verified Separate Compilation and Linking. | Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jrmie Koenig, Yuchen Fu |
| 2015 | POPL | Deep Specifications and Certified Abstraction Layers. | Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |