Xudong Sun

According to our database, Xudong Sun authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Anvil: Verifying Liveness of Cluster Management Controllers.

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration.

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

2023

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.

Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker.

Yinfang Chen, Xudong Sun, Suman Nath, Ze Yang, Tianyin Xu

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.

Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Automatic Reliability Testing For Cluster Management Controllers.

Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, Tianyin Xu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Reasoning about modern datacenter infrastructures using partial histories.

Xudong Sun, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lilia Tang, Tianyin Xu

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Testing Configuration Changes in Context to Prevent Production Failures.

Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, Tianyin Xu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020