Jieung Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSN | ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol. | Kezhi Xiong, Soonwon Moon, Joshua H. Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin |
| 2025 | PLOS | Compositional Model-Driven Verification of Weakly Consistent Distributed Systems. | Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin |
| 2022 | PLDI | Adore: atomic distributed objects with certified reconfiguration. | Wolf Honor, Ji-Yong Shin, Jieung Kim, Zhong Shao |
| 2019 | CLOUD | WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. | Ji-Yong Shin, Jieung Kim, Wolf Honor, Hernn Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao |
| 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 |
| 2017 | APLAS | Safety and Liveness of MCS Lock - Layer by Layer. | Jieung Kim, Vilhelm Sjberg, Ronghui Gu, Zhong Shao |
| 2016 | OSDI | CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. | Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjberg, David Costanzo |
| 2013 | APLAS | Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
| 2011 | CPP | Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. | Jieung Kim, Sukyoung Ryu |