Obserwuj
Xudong Sun
Xudong Sun
Ph.D. student, University of Illinois at Urbana-Champaign
Zweryfikowany adres z illinois.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
712020
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
312022
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
162023
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
142024
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
142023
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
92021
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
32024
Multi-Grained Specifications for Distributed System Model Checking and Verification
L Ouyang, X Sun, R Tang, Y Huang, M Jivrajani, X Ma, T Xu
arXiv preprint arXiv:2409.14301, 2024
12024
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
USENIX; login:(Aug. 2024). https://www. usenix. org/publications/loginonline …, 0
1
Anvil: Building Kubernetes Controllers That Do Not Break
X Sun, JT Gu, C Rivera, T Chajed, J Howell, A Lattuada, O Padon, ...
USENIX; login:(June 2024). https://www. usenix. org/publications/loginonline …, 0
1
Framework for building cluster management controllers
L Suresh, XD Sun, A Szekeres
US Patent App. 18/097,670, 2024
2024
{Cross-System} Interaction Failures: Don't Fail through the Cracks
T Xu, X Sun
2024
Sieve: Chaos Testing for Kubernetes Controllers
X Sun, W Luo, JT Gu, A Ganesan, R Alagappan, M Gasch, L Suresh, T Xu
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–13