Testing Configuration Changes in Context to Prevent Production Failures. - Xudong Sun 013; Runxiang Cheng; Jianyan Chen; Elaine Ang; Owolabi Legunsen; Tianyin Xu (OSDI, 2020)

Reasoning about modern datacenter infrastructures using partial histories. - Xudong Sun 013; Lalith Suresh 001; Aishwarya Ganesan; Ramnatthan Alagappan; Michael Gasch; Lilia Tang; Tianyin Xu (HotOS, 2021)

Automatic Reliability Testing For Cluster Management Controllers. - Xudong Sun 013; Wenqing Luo; Jiawei Tyler Gu; Aishwarya Ganesan; Ramnatthan Alagappan; Michael Gasch; Lalith Suresh 001; Tianyin Xu (OSDI, 2022)

Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker. - Yinfang Chen; Xudong Sun 013; Suman Nath; Ze Yang; Tianyin Xu (NSDI, 2023)

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. - Jiawei Tyler Gu; Xudong Sun 013; Wentao Zhang; Yuxuan Jiang; Chen Wang 039; Mandana Vaziri; Owolabi Legunsen; Tianyin Xu (SOSP, 2023)

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. - Ruize Tang; Xudong Sun 013; Yu Huang 002; Yuyang Wei; Lingzhi Ouyang; Xiaoxing Ma (EuroSys, 2024)

Anvil: Verifying Liveness of Cluster Management Controllers. - Xudong Sun 013; Wenjie Ma; Jiawei Tyler Gu; Zicheng Ma; Tej Chajed; Jon Howell; Andrea Lattuada 001; Oded Padon; Lalith Suresh 001; Adriana Szekeres; Tianyin Xu (OSDI, 2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification. - Lingzhi Ouyang; Xudong Sun 013; Ruize Tang; Yu Huang 002; Madhav Jivrajani; Xiaoxing Ma; Tianyin Xu (EuroSys, 2025)

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. - Ruize Tang; Minghua Wang; Xudong Sun 013; Lin Huang; Yu Huang 002; Xiaoxing Ma (USENIX ATC, 2025)