CMU 暑研周报｜2026-07-30
中文摘要 本周，PhaseGuard 从概念验证推进到可执行模型：项目文档记录 25/25 回归预期通过，并在 4/4 个真实 sm100 源码样例上完成提取。该结果尚未获得导师正式认可；当前真正需要审查的是 scope、mbarrier 状态/事件语义，以及 source → runtime instance → SMT verdict 的证据连接。
明日关键链路 • 12:00：与 Jia 教授 Zoom 项目讨论（已确认）。建议携带一页 scope/assumptions、A6 协议抽取风险和两个真实 kernel witness。老师已明确建议保留博物馆行程。 • 14:00–15:00：Carnegie Museum Trip（表格仍标 NOT CONFIRMED；当前按计划保留）。 • 约 16:00：房东协助搬家（邮件已确认；租约已签）。付款完成情况仍未核实。 • 8 月 1 日 07:59 EDT：AAAI-27 补充材料截止（7 月 31 日 23:59 AoE）；尚未发现提交完成证据。
研究与决策 • 7 月 27 日与 Mengdi 的讨论支持继续 actor-driven 方向，但要求先完成形式化定义和完整 kernel 示例，而不是继续扩大功能。 • 8 月 10 日 Intern Research Presentation 与 8 月 24 日 Poster Session 均未确认。下一步是确认席位并先做一页展示框架。 • 杨老师展示安排本周仍没有完成确认的证据；该事项需单独联系，不应依赖 Catalyst Slack。 • Microsoft To Do → Notion 同步尚未在 Notion 中验证；没有把“没看到任务”写成“没有完成任务”。
执行记分 • TOEFL：本周无可核验记录 / 目标 2–3 天（未记录不等于未做）。 • 健身：本周无可核验记录 / 目标 2–3 次。 • 实习记录本：baseline pending / 14。 • 7 月 24 日前取消订阅：已过期但完成状态未确认。
财务 / 生活 截至 2026-07-30、仅基于当前已同步账户，7/24–7/30 已入账非转账支出为 $73.94，其中包括 $15 wire fee；另有 $13.67 pending outflow。两笔转账型流入未当作收入计算。BofA 新信用卡 $700 额度已获批并于 7 月 30 日寄出，但尚未出现在已连接账户中，因此余额、利用率、账单日和还款日均标记为 connection pending。
投稿雷达 • AAAI-27：supplement 截止 8/1 07:59 EDT；状态 unresolved。 • KDD 2027 Cycle 1：论文截止已过；rebuttal 9/29–10/13，notification 11/14；提交状态 unresolved。 • USENIX Security 2027：注册 8/18、全文 8/25、artifact 8/28；仅在项目明确绑定后进入执行排期。 • ICLR 官方页面当前日期信息存在不一致；不在未核清前把某一版本写成确定截止日。 • 其余 KDD/ICML/CVPR/SOSP/OSDI/NSDI/ASPLOS/EuroSys/ATC/MLSys/SC 将继续以官方 CFP 为准跟踪。
未来七天 7/31：Jia Zoom → 博物馆 → 搬家 8/01：AAAI supplementary checkpoint 8/03：Carnegie Museum Trip（表格 NOT CONFIRMED） 8/05：Paws to Relax（表格计划项） 同时确认 Aug 10 展示、Aug 24 Poster、杨老师展示和 To Do 同步。
English Executive Summary This week, PhaseGuard progressed from a concept to an executable verification model. Project documentation reports 25/25 regression expectations passing and successful extraction from 4/4 real sm100 source cases, but these results are not yet advisor-approved. Friday’s confirmed noon Zoom with Jia should focus on scope, assumptions, protocol-extraction risk, and two real-kernel witnesses. The museum trip remains planned at 2 PM, followed by confirmed move-in help around 4 PM. AAAI-27 supplementary materials are due Aug 1 at 07:59 EDT; submission status remains unresolved.
Finance, through Jul 30 and only across currently synced accounts: $73.94 in posted non-transfer outflow for Jul 24–30, including a $15 wire fee, plus $13.67 pending outflow. The approved $700 BofA card has shipped but is not yet connected, so live balance and utilization are unavailable.
Execution remains evidence-based: TOEFL and fitness are not recorded rather than assumed undone; the internship-journal baseline is pending / 14; To Do sync is not verified; Aug 10 presentation, Aug 24 poster, and Prof. Yang’s separate presentation plan remain unresolved.
Useful sources Slack — Friday Zoom confirmation: https://cmu-catalyst.slack.com/archives/D0BFEBBAELS/p1785428782745069 Slack — Jia recommends keeping museum visit: https://cmu-catalyst.slack.com/archives/D0BFEBBAELS/p1785428722129729 Gmail — signed lease / Friday move: https://mail.google.com/mail/#all/19fa92ed70dbc41b Notion — Jul 27 research discussion: https://app.notion.com/p/3aadec152e1d80dca71febcc81aadf81 AAAI-27 official CFP: https://aaai.org/conference/aaai/aaai-27/main-technical-track-call/ KDD 2027 official CFP: https://kdd2027.kdd.org/research-track-call-for-papers/ USENIX Security 2027: https://www.usenix.org/conference/usenixsecurity27
附件说明 已附中英文 1920×1080 周报画板，以及英文配音 MP4。当前环境仍无可用的原生普通话 TTS；为避免把私密研究/财务内容上传到未经授权的额外服务，中文配音视频未生成，也未以英文或拼音替代。