CMU 暑研日报｜2026-07-29 今日结论：PhaseGuard 已形成可执行验证规范。当前个人工作文档记录 25/25 回归符合预期、4/4 真实 sm100 源码提取端到端通过；但这仍是个人工作产物，尚未获得导师正式认可。Jia 教授已确认周五下午讨论，具体时间和地点仍待确认。 研究：模型直接表示软件 actor、TMA/cp.async/MMA 异步硬件 actor、事件与内存区域；当前
周子为Ziwei ZhouNOW8 月 19 日
CMU第 8 周·HKU R212天·ASPLOS还有 3 周