TRIPOD: An Efficient, Highly-available Cluster Management System. - Cheng Wang 021; Jingyu Yang; Ning Yi; Heming Cui (APSys, 2016)

APUS: fast and scalable paxos on RDMA. - Cheng Wang 021; Jianyu Jiang; Xusheng Chen; Ning Yi; Heming Cui (SoCC, 2017)

Detecting and Reducing the Factual Hallucinations of Large Language Models with Metamorphic Testing. - Weibin Wu 002; Yuhang Cao; Ning Yi; Rongyi Ou; Zibin Zheng (Proc. ACM Softw. Eng., 2025)