Jieung Kim

18 papers A* 3A 1B 3Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Compositional Model-Driven Verification of Weakly Consistent Distributed Systems.
PLOS@SOSP
Bryant J. Curto, Jeonghyeon Kim, Alan Wang, Gijung Im, Jieung Kim, Jeehoon Kang, Ji-Yong Shin
2025 A conf
ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol.
DSN
Kezhi Xiong, Soonwon Moon, Joshua H. Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin
2025 J jnl
ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol.
CoRR
Kezhi Xiong, Soonwon Moon, Joshua H. Kang, Bryant Curto, Jieung Kim, Ji-Yong Shin
2024 J jnl
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects.
Proc. ACM Program. Lang.
Wolf Honoré, Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Zhong Shao
2024 J jnl
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs.
Proc. ACM Program. Lang.
Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, Zhong Shao
2024 J jnl
MPruner: Optimizing Neural Network Size with CKA-Based Mutual Information Pruning.
CoRR
Seungbeom Hu, Chanjun Park, Andrew Ferraiuolo, Sang-Ki Ko, Jinwoo Kim, Haein Song, Jieung Kim
2024 J jnl
SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification.
J. Syst. Archit.
Jieung Kim, Ronghui Gu, Zhong Shao
2024 J jnl
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions.
J. Syst. Archit.
Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao
2024 J jnl
Towards Efficient Formal Verification of Spiking Neural Network.
CoRR
Baekryun Seong, Jieung Kim, Sang-Ki Ko
2022 A* conf
Adore: atomic distributed objects with certified reconfiguration.
PLDI
Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao
2021 J jnl
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems.
Proc. ACM Program. Lang.
Wolf Honoré, Jieung Kim, Ji-Yong Shin, Zhong Shao
2019 J jnl
Building certified concurrent OS kernels.
Commun. ACM
Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, Jérémie Koenig, Xiongnan (Newman) Wu, Vilhelm Sjöberg, David Costanzo
2019 — conf
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems.
SoCC
Ji-Yong Shin, Jieung Kim, Wolf Honoré, Hernán Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, Zhong Shao
2018 A* conf
Certified concurrent abstraction layers.
PLDI
Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro
2017 B conf
Safety and Liveness of MCS Lock - Layer by Layer.
APLAS
Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao
2016 A* conf
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.
OSDI
Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sjöberg, David Costanzo
2013 B conf
Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance.
APLAS
Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
2011 B conf
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.
CPP
Jieung Kim, Sukyoung Ryu