발행물
컨퍼런스
Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honore, and Zhong Shao
2024
,
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Wolf Honore, Longfei Qiu, Ji-Yong Shin, Yoonseung Kim, Jieung Kim, and Zhong Shao
AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Wolf Honore, Ji-Yong Shin, Jieung Kim, and Zhong Shao
2022
Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honore*, Jieung Kim*, Ji-Yong Shin, and Zhong Shao
2021
Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Ji-Yong Shin, Jieung Kim, Wolf Honore, Hernan Vanzetto, Srihari Radhakrishnan, Mahesh Balakrishnan, and Zhong Shao
2019
WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems