On the Parallels between Paxos and Raft, and how to Port Optimizations. - Zhaoguo Wang; Changgeng Zhao; Shuai Mu 001; Haibo Chen 001; Jinyang Li 001 (PODC, 2019)

Detecting Incorrect Behavior of Cloud Databases as an Outsider. - Cheng Tan 005; Changgeng Zhao; Shuai Mu 001; Michael Walfish (CoRR, 2019)

Cobra: Making Transactional Key-Value Stores Verifiably Serializable. - Cheng Tan 005; Changgeng Zhao; Shuai Mu 001; Michael Walfish (OSDI, 2020)

Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions. - Zhiyuan Dong; Zhaoguo Wang; Xiaodong Zhang; Xian Xu; Changgeng Zhao; Haibo Chen 001; Aurojit Panda; Jinyang Li 001 (Proc. VLDB Endow., 2023)