Xudong Sun wins honorable mention for SIGOPS Dennis M. Ritchie Dissertation Award
LingmingZhang · x · 2026-11-04
Xudong Sun, now an assistant professor, received an honorable mention for the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award for work on cloud-controller reliability via formal verification, systematic testing, and real-world bug discovery (Sieve, Anvil). His advisor shared the backstory: grinding through a stalled project that became Sieve, spending 2+ years on Anvil with no prior formal-verification experience, and a tough 2025 job hunt amid federal funding cuts.
More from Companies & People
- Spanish teacher uses CANSAT badge design project to teach students LLM basics — Obijuan_cube · 2026-11-04
- Reuters: OpenAI Staff Warned for Years About Security Lapses in Its Monorepo — rohanpaul_ai · 2026-11-04
- Atlassian built Story Factory in two days: a mega bento turned AI marketing studio — davidhoang · 2026-11-04
- Investor's Silicon Valley lesson: no reputation means helping everyone, and it pays off — jia_seed · 2026-11-04
- SemiAnalysis: SpaceX to Become World's Biggest AI Cloud With 13GW in 1.5 Years — dylan522p · 2026-11-04
- Anthropic partners with educator Harper Carroll on series explaining how Claude works — HarperSCarroll · 2026-11-04