日报

Ziwei，你好，

【中文摘要】 今天的核心进展在 PhaseGuard：形式化模型已明确区分 software warp、TMA engine 与 Tensor Core，并把操作拆成 issue / access / complete；SM90 路径最完整，SM100 已覆盖部分 TMA、mbarrier 与 tcgen05 completion 建模。7 个 CUTLASS 算子已绑定真实源码与配置，原始协议完…

CMU 暑研日报｜2026-08-21 今日结论：延期材料已由部门正式提交 OIE，但尚未获得 OIE 批准或新版 DS-2019；海报 PDF 距周一中午截止约 64 小时，是当前最高优先级。 关键变化 DS-2019 延期：Colleen 于 11:28 ET 确认材料已提交 OIE。拟延期至 2026-11-04；OIE 批准、新版 DS-2019 和 Jia 教授的直接回复仍待确认。邮件线…

CMU 暑研周报｜2026-08-20 本周主结论：研究和在美时间线都发生了实质推进。PhaseGuard 已形成六个真实 kernel 的验证基线，并开始与 CAKE 的反馈系统问题连接；DS-2019 延期方案已定为 11 月 4 日，材料齐备且延期信签字完成，但 OIE 的提交或回执仍未确认。 研究进展｜已验证 PhaseGuard：已在 CUTLASS、DeepGEMM、FA3、

CMU 暑研日报｜2026-08-19 今日结论：DS-2019 延期路径已经打开；Colleen 确认可办理，Jia 教授愿意讨论具体日期。研究上，与 Zihao Ye 的交流把 CAKE 与 PhaseGuard 的下一步问题连接起来：需要更严格地区分 representation 与 feedback，并探索把 fail-closed verdict 接入 agent feedback

CMU 暑研日报｜2026-08-17

中文执行摘要 今天形成两条明确主线。第一，PhaseGuard 新版 slide 已发送给 Jia 教授和 Mengdi；用户记录显示管线已在 CUTLASS、DeepGEMM、FA3、FlashInfer、ThunderKittens 的 6 个固定真实 kernel 入口上运行，得到源码级 SAFE/BUG 结果，并明确 unsupported / inconclusive 边界。Jia 教授…

CMU 暑研日报｜2026-08-16 中文执行摘要：学费状态已从“未确认”推进为 Patricia 书面确认收到 $1600；银行侧借记卡交易仍为 pending，报销所需正式收据尚待回复。PhaseGuard 8 月 13 日版本已经交给 Mengdi 与 Jia 教授，但今天没有新的评审反馈。周一 13:00 与 Stephen 交流；周三同时临近 USENIX Security 注册与

CMU 暑研日报｜2026-08-15

中文执行摘要 PhaseGuard 的 8 月 13 日版本已分别发给 Mengdi 与 Jia 教授，书面交付已确认；但截至目前没有看到对 scope、soundness/completeness 或真实 CUTLASS kernel 闭环的正式反馈。周一 13:00–14:00 与 Stephen 的讨论已进入日历，建议准备 2–3 个具体 program shapes、strict/lazy…

CMU 暑研日报｜2026-08-12（恢复版）

日报任务已恢复；本封补齐 8 月 5–12 日的重要变化。

# 中文摘要

今天最重要的变化不是“没有开会”，而是研究证据完成了一次明显升级。Mengdi 因身体不适将原定今天的同步顺延到明天；Ziwei 已于 13:09 将《8-4讨论草稿》发到双方 Slack 私信。材料把 PhaseGuard 从“12 个准入文件”推进到 CUTLASS 4.6.1 / Hopper SM90 的 **7 个真实生成算子**：6 个常规 GEMM 形成一个七阶段协议类，另 1 个 …

# CMU 暑研日报｜2026-08-02

## 中文执行摘要

中文摘要

今天没有新增 Slack 或 Notion 研究记录；研究主线继续沿用 7 月 31 日导师认可后的下一步：在真实 CUTLASS GEMM / attention kernel 上证明安全 baseline，删除一个同步边，并要求工具输出具体反例。现有 12/785 准入、14 步最短 witness、16/16 变体检出均来自个人工作记录，尚不是独立复现实验。

CMU 暑研日报｜2026-07-31 今日结论：Jia 教授明确表示 PhaseGuard 的方向与进展没有问题。项目下一步从“定义期”进入“真实 kernel 实证期”：选择一个 CUTLASS matrix multiplication 或 attention 示例，先验证原始版本无数据竞争，再移除一个同步点并要求工具给出具体反例。 导师反馈（已验证）：方向和当前进展得到认可；下周继续讨论。

CMU 暑研周报｜2026-07-30

中文摘要 本周，PhaseGuard 从概念验证推进到可执行模型：项目文档记录 25/25 回归预期通过，并在 4/4 个真实 sm100 源码样例上完成提取。该结果尚未获得导师正式认可；当前真正需要审查的是 scope、mbarrier 状态/事件语义，以及 source → runtime instance → SMT verdict 的证据连接。

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

CMU 暑研日报｜2026-07-28 中文摘要：今天的主线是截止日与执行落地。AAAI-27 Main Technical Track 全文截止为 7 月 28 日 23:59 AoE，即纽约时间 7 月 29 日 07:59；截至本日报约剩 13 小时。Ziwei 今天为两个 AAAI 项目待命，但尚无证据确认提交已经完成。研究侧已向 Mengdi 交接 Racecheck、Synccheck…

CMU 暑研日报｜2026-07-27 中文摘要：今天与 Mengdi 的讨论形成了明确研究决策：先把 scope、状态语义和端到端 formalization 定义清楚，再扩展特性与算法。actor-driven、按 warp 建模的整体方向基本合理，并与 Mengdi 正在搭建的 prototype 相近；但现有文档仍偏 high-level，需要用一个具体 kernel 逐步展示从程序到

CMU 暑研日报｜2026-07-26 中文摘要：今天最紧急的是共享 GPU 协调：Bohan Hou 在 Fleet 线程询问当前 8 卡作业预计还需多久；截至汇总时没有看到 ETA 回复或资源释放确认。Mengdi 的周一讨论日期已排定，但时间、Zoom 或地点仍未出现；Jia 教授可在周四或周五讨论，具体时段待定。 English summary: The immediate priorit…

CMU 暑研日报｜2026-07-25 中文摘要今天最重要的增量是 GPU 使用流程纠偏。凌晨 tqchen 指出一个约 12 小时的 vLLM 作业阻塞了其他用户；Ziwei 随后终止两个服务，并确认本人账户下没有残留 GPU compute 进程。下午的新评测已按规则提前在 #device-fleet 公告，计划使用 GPU 2–3 约三小时，但截至汇总时未检索到明确的完成/释放消息，且该评测

# CMU 暑研日报｜2026-07-24

## 中文摘要