Xudong Sun 获 SIGOPS Dennis M. Ritchie 博士论文奖荣誉提名
LingmingZhang · x · 2026-11-04
多伦多大学助理教授 Xudong Sun 获 SIGOPS Dennis M. Ritchie 博士论文奖荣誉提名，其研究通过形式化验证、系统性测试与真实 bug 发现提升云控制器的可靠性，代表作包括 Sieve 与耗时两年多的 Anvil 论文。其导师 tianyinxu 发长文回顾：2021 年底项目六个月无进展时 Xudong 坚持打磨最终产出 Sieve；2022 年他零基础转向形式化验证；2025 年在联邦经费削减的背景下求职艰难，一度仅剩一个 AI for proofs 的Offer。
「公司和人」频道最新
- 西班牙教师用 CANSAT 徽章设计项目教学生入门 LLM 与图像生成 — Obijuan_cube · 2026-11-04
- 路透：OpenAI 代码全放一个 monorepo，员工多年警告内部泄密风险 — rohanpaul_ai · 2026-11-04
- 路透曝 OpenAI 员工多年警告单一 monorepo 存在内部安全风险 — rohanpaul_ai · 2026-11-04
- Atlassian 两天搭出 Story Factory：用 AI 工作室重塑营销内容生产 — davidhoang · 2026-11-04
- 硅谷投资人：无背景反而是优势，平等待人终有回报 — jia_seed · 2026-11-04
- SemiAnalysis：SpaceX 将成全球最大 AI 云，1.5 年内落地 13GW — dylan522p · 2026-11-04