Follow
Xudong Sun
Xudong Sun
Ph.D. student, University of Illinois at Urbana-Champaign
Verified email at illinois.edu - Homepage
Title
Cited by
Cited by
Year
Testing configuration changes in context to prevent production failures
X Sun, R Cheng, J Chen, E Ang, O Legunsen, T Xu
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
612020
Automatic reliability testing for cluster management controllers
X Sun, W Luo, JT Gu, A Ganesan, R Alagappan, M Gasch, L Suresh, T Xu
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
222022
Acto: Automatic end-to-end testing for operation correctness of cloud system management
JT Gu, X Sun, W Zhang, Y Jiang, C Wang, M Vaziri, O Legunsen, T Xu
Proceedings of the 29th Symposium on Operating Systems Principles, 96-112, 2023
102023
Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker
Y Chen, X Sun, S Nath, Z Yang, T Xu
20th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2023
82023
Reasoning about modern datacenter infrastructures using partial histories
X Sun, L Suresh, A Ganesan, R Alagappan, M Gasch, L Tang, T Xu
Proceedings of the Workshop on Hot Topics in Operating Systems, 213-220, 2021
82021
Anvil: Verifying Liveness of Cluster Management Controllers
X Sun, W Ma, JT Gu, Z Ma, T Chajed, J Howell, A Lattuada, O Padon, ...
18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024
42024
Framework for building cluster management controllers
L Suresh, XD Sun, A Szekeres
US Patent App. 18/097,670, 2024
2024
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration
R Tang, X Sun, Y Huang, Y Wei, L Ouyang, X Ma
Proceedings of the Nineteenth European Conference on Computer Systems, 736-753, 2024
2024
{Cross-System} Interaction Failures: Don't Fail through the Cracks
T Xu, X Sun
2024
Acto: Push-Button End-to-End Testing for Operation Correctness of Kubernetes Operators
JT Gu, X Sun, Z Tang, C Wang, M Vaziri, O Legunsen, T Xu
Anvil: Building Kubernetes Controllers That Do Not Break
X Sun, JT Gu, C Rivera, T Chajed, J Howell, A Lattuada, O Padon, ...
The system can't perform the operation now. Try again later.
Articles 1–11