Xudong Sun
where else to find them
what they talk about
all 7 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
all 25 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Who Watches the Watchers? On the Reliability of Softwarizing Cloud Application Management | NSDI '26 | 2026-05-04 |
Study analyzes 412 real-world failures across 13 Kubernetes operators and finds 42% stem from operator–application interactions, with 64% of those being… | ||
| Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency | USENIX ATC '25 | 2025-07-07 |
Claims a practical workflow that verifies 12 Rust OS concurrency modules (≈4k LOC) using PlusCal/TLC and lightweight logging, finds 20 real bugs (9 via model… | ||
| Anvil: Verifying Liveness of Cluster Management Controllers | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
Anvil presents eventually stable reconciliation as a concise temporal liveness spec and provides a Rust framework that verifies controllers against it using… | ||
| Cross-System Interaction Failures: Don't Fail through the Cracks | SREcon24 Americas | 2024-03-18 |
Empirical study of 120 cross-system incidents and a random sample of 360 issues finds roughly 30% are CSI failures that arise only when systems interact… | ||
| Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker | NSDI 2023 | 2023-04-17 |
A push-button SDK called Rainmaker injects faults at the REST-layer fault injection using an HTTP proxy and automatic fault policies so existing test suites… | ||
| Automated, Distributed Systems Testing for Kubernetes Controllers | KubeCon + CloudNativeCon North America 2021 | 2021-10-11 |
Sieve is an automated tester that runs controllers inside instrumented kind clusters, learns execution traces, and then replays 21 event sequences to inject… | ||
| nothing matches | ||