关注
Xudong Sun
Xudong Sun
Ph.D. student, University of Illinois at Urbana-Champaign
在 illinois.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
562020
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
172022
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
62023
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
62021
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
52023
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
系统目前无法执行此操作，请稍后再试。
文章 1–6