Xudong Sun

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Information Management

Similar Objects

Pspace Complete

Packet Loss Rate

Top Venues

Publications

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. EuroSys (2024)
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
Anvil: Verifying Liveness of Cluster Management Controllers. OSDI (2024)
Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. SOSP (2023)
Yinfang Chen, Xudong Sun, Suman Nath, Ze Yang, Tianyin Xu
Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker. NSDI (2023)
Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu
Automatic Reliability Testing For Cluster Management Controllers. OSDI (2022)
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. OSDI (2022)
Xudong Sun, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lilia Tang, Tianyin Xu
Reasoning about modern datacenter infrastructures using partial histories. HotOS (2021)
Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, Tianyin Xu
Testing Configuration Changes in Context to Prevent Production Failures. OSDI (2020)