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)

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)

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)