Jieung Kim

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 12

Top Topics

Distributed Systems

Formal Verification

Top Venues

Proc. ACM Program. Lang.

J. Syst. Archit.

Publications

Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions. J. Syst. Archit. 147 (2024)
Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, Zhong Shao
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jieung Kim, Ronghui Gu, Zhong Shao
SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification. J. Syst. Archit. 147 (2024)
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Zhong Shao
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao
Adore: atomic distributed objects with certified reconfiguration. PLDI (2022)
Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. SoCC (2019)
Ji-Yong Shin, Jieung Kim, Hernán Vanzetto, Srihari Radhakrishnan, Wolf Honoré, Zhong Shao, Mahesh Balakrishnan
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems. SoCC (2019)
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo
Building certified concurrent OS kernels. Commun. ACM 62 (10) (2019)
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro
Certified concurrent abstraction layers. PLDI (2018)
Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao
Safety and Liveness of MCS Lock - Layer by Layer. APLAS (2017)
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. OSDI (2016)
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. APLAS (2013)
Jieung Kim, Sukyoung Ryu
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. CPP (2011)