Personal information

No personal information available

Activities

Works (5)

LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
Contributors: Longfei Qiu; Yoonseung Kim; Ji-Yong Shin; Jieung Kim; Wolf Honoré; Zhong Shao
Source: check_circle
Crossref

AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects

Proceedings of the ACM on Programming Languages
2024-04-29 | Journal article
Contributors: Wolf Honoré; Longfei Qiu; Yoonseung Kim; Ji-Yong Shin; Jieung Kim; Zhong Shao
Source: check_circle
Crossref

SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification

Journal of Systems Architecture
2024-02 | Journal article
Contributors: Jieung Kim; Ronghui Gu; Zhong Shao
Source: check_circle
Crossref

ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions

Journal of Systems Architecture
2024-02 | Journal article
Contributors: Jieung Kim; Jérémie Koenig; Hao Chen; Ronghui Gu; Zhong Shao
Source: check_circle
Crossref

Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems

Proceedings of the ACM on Programming Languages
2021-10-20 | Journal article
Contributors: Wolf Honoré; Jieung Kim; Ji-Yong Shin; Zhong Shao
Source: check_circle
Crossref

Peer review (1 review for 1 publication/grant)

Review activity for Journal of systems architecture. (1)