Xudong Sun

xudongs3@illinois.edu
Google Scholar | DBLP | GitHub | LinkedIn

I'm Xudong Sun, a final (6th) year CS Ph.D. student at the University of Illinois Urbana-Champaign. My advisor is Prof. Tianyin Xu. I work on computer systems and my research primarily focuses on system correctness and reliability. I got my bachelor degree from Nanjing University in 2019.

I have interned at VMware Research (2020, 2022) and Microsoft Research (2021) working on the reliability of cloud systems.

while presenting at OSDI'24

Publications

Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency
ATC 2025
Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, and Xiaoxing Ma
PDF  |  BibTex

Multi-Grained Specifications for Distributed System Model Checking and Verification
EuroSys 2025
Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, and Tianyin Xu
PDF  |  BibTex  |  Code

Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, and Tianyin Xu
PDF  |  BibTex  |  Talk  |  Code Star
Jay Lepreau Best Paper Award
Invited to publish at USENIX ;login: (article)
Covered by IllinoisCS News

SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration
EuroSys 2024
Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, and Xiaoxing Ma
PDF  |  BibTex  |  Code Star

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
SOSP 2023
Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, and Tianyin Xu
PDF  |  BibTex  |  Code Star
Selected for solution showcase at KubeCon + CloudNativeCon Europe 2024
Invited to publish at USENIX ;login: (article)
Covered by IllinoisCS News

Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker
NSDI 2023
Yinfang Chen, Xudong Sun, Suman Nath, Ze Yang, and Tianyin Xu
PDF  |  BibTex  |  Talk  |  Slides  |  Code Star
Featured by The Weekend Read

Automatic Reliability Testing for Cluster Management Controllers
OSDI 2022
Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lalith Suresh, and Tianyin Xu
PDF  |  BibTex  |  Talk  |  Slides  |  Code Star
Selected for presentation at KubeCon + CloudNativeCon North America 2021
Invited for presentation at KBE Insider (Episode 14)
Covered by VMware Office of CTO Blog (endorsement from Kit Colbert), Hacker News, Paper Review by Micah Lerner, IllinoisCS News
Invited to publish at USENIX ;login: (article)

Reasoning about modern datacenter infrastructures using partial histories
HotOS 2021
Xudong Sun, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan, Michael Gasch, Lilia Tang, and Tianyin Xu
PDF  |  BibTex  |  Talk
Covered by "A CAP tradeoff in the wild" by Professor Lindsey Kuper

Testing Configuration Changes in Context to Prevent Production Failures
OSDI 2020
Xudong Sun*, Runxiang Cheng*, Jianyan Chen, Ran Ang, Owolabi Legunsen, and Tianyin Xu (*co-primary)
PDF  |  BibTex  |  Talk  |  Slides  |  Code Star

How to pronounce my name