Fair Operational Semantics. - Dongjae Lee; Minki Cho; Jinwoo Kim; Soonwon Moon; Youngju Song; Chung-Kil Hur (Proc. ACM Program. Lang., 2023)

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 (DSN, 2025)