-
[
OSDI'24
] 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, and Tianyin
Xu
In Proceedings of the 18th USENIX Symposium on Operating Systems Design and
Implementation (OSDI'24), Santa Clara, CA, Jul. 2024.
-
[
EuroSys'24
] SandTable: Scalable Distributed System Model Checking with Specification-Level
State Exploration
Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, and
Xiaoxing Ma
In Proceedings of the 19th European Conference on Computer Systems (EuroSys'24),
Athens, Greece, Apr. 2024.
[
pdf
]
[
code
]
-
[
SOSP'23
] 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, and Tianyin Xu
In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP'23),
Koblenz, Germany, Oct. 2023.
[
pdf
]
[
code
]
Selected for solution showcase at KubeCon + CloudNativeCon Europe 2024
-
[
NSDI'23
] Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker
Yinfang Chen, Xudong Sun, Suman Nath, Ze Yang, and Tianyin Xu
In Proceedings of the 20th USENIX Symposium on Networked Systems Design and
Implementation (NSDI'23),
Boston, MA, Apr. 2023.
[
pdf
]
[
code
]
[
talk video
]
[
slides
]
Featured by The Weekend Read
-
[
OSDI'22
] Automatic Reliability Testing for Cluster Management Controllers
Xudong Sun, Wenqing Luo, Jiawei Tyler Gu, Aishwarya Ganesan, Ramnatthan
Alagappan, Michael Gasch, Lalith Suresh, and Tianyin Xu
In Proceedings of the 16th USENIX Symposium on Operating Systems Design and
Implementation (OSDI'22), Carlsbad, CA, Jul. 2022.
[
pdf
]
[
code
]
[
talk video
]
[
slides
]
Covered by VMware Office of CTO Blog
(endorsement from Kit Colbert),
Hacker
News,
Paper Review by Micah Lerner,
IllinoisCS News
Selected for presentation at KubeCon +
CloudNativeCon North America 2021
Invited for presentation at KBE
Insider (Episode 14)
-
[
HotOS'21
] Reasoning about modern datacenter infrastructures using partial histories
Xudong Sun, Lalith Suresh, Aishwarya Ganesan, Ramnatthan Alagappan,
Michael Gasch, Lilia Tang, and Tianyin Xu
In Proceedings of the 18th Workshop on Hot Topics in Operating Systems (HotOS'21),
Virtual Event, May 2021.
[
pdf
]
[
talk video
]
Covered by
"A CAP tradeoff in the wild" by Professor Lindsey Kuper
-
[
OSDI'20
] Testing Configuration Changes in Context to Prevent Production Failures
Xudong Sun*, Runxiang Cheng*, Jianyan Chen, Ran Ang, Owolabi Legunsen,
and Tianyin Xu (*co-primary)
In Proceedings of the 14th USENIX Symposium on Operating Systems Design and
Implementation (OSDI'20), Virtual Event, Nov. 2020.
[
pdf
]
[
code
]
[
talk video
]
[
slides
]