Get started
Author

Xudong Sun

Observed names: Sun, Xiangfeng, X. Sun, Xiangfeng Sun
ORCID: 0009-0005-6734-0928
Observed ORCID: 0009-0005-6734-0928
OpenAlex ID: A5101923614
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
2023 · Jiawei Tyler Gu, Xudong Sun, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 28
PDF
SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration
2024 · Ruize Tang, Xudong Sun, et al. · European Conference on Computer Systems · 11
Multi-Grained Specifications for Distributed System Model Checking and Verification
2025 · Lingzhi Ouyang, Xudong Sun, et al. · European Conference on Computer Systems · 8
Optimized routing in multi-FPGA systems: a congestion mitigation and TDM allocation approach
2024 · Xiangfeng Sun, Haotian Tang, et al. · International Symposium on Advances in Electrical, Electronics and Computer Engineering (ISAEECE) · 2
BenchmarkAnything: Agent-Driven Construction of Simulator-Ready Microarchitecture Benchmarks
2026 · Sun, Xiangfeng, Xu, Ceyu, et al. · arXiv (Cornell University)
PDF
Welder: Compositional Liveness Verification of Cluster Control Planes
2026 · Zhizhen Cathy Cai, Nikhil Date, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
PDF
Memory Compression for High-Fanout Agent Sandboxes
2026 · Li, Mengming, XU, Ceyu, et al. · arXiv (Cornell University)
PDF
Why Do Prefetchers Fail? Let Agents Answer
2026 · Sun, Xiangfeng, Xu, Ceyu, et al. · arXiv (Cornell University)
PDF
Dynamic assessment of Construction and operation Risks of Swivel Bridges Based on Bayesian Networks and deep learning
2025 · Qing Liu, Yi Zhang, et al. · International Conference on Artificial Intelligence and Engineering Management (ICAIEM)
An Efficient Recovery and Survival Scheme against Malware Attacks
2010 · X. Sun, C. Lin, et al. · International Conference on Communications
Works count: 10
Citation count: 49
H-index: 3
I10-index: 2
Year
Topic
Type