https://douyixuan.github.io/tags/data-flow-invariant/Recent content in Data-Flow-Invariant on 兜忆轩 | Cedric's Compiler Noteshttps://douyixuan.github.io/images/papermod-cover.pnghttps://douyixuan.github.io/images/papermod-cover.pngHugo -- 0.146.0en-usMon, 28 Sep 2026 12:08:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-28/Mon, 28 Sep 2026 12:08:00 +0800https://douyixuan.github.io/posts/ai-silicon-papers/2026-09-28/Ave 把 GPU kernel 优化必须保持的数据关系写成编译期不变量，再用静态分析与具体反例指导 Agent 修复；消融实验支持这种结构化反馈，但其保证范围取决于人预先表达了哪些不变量。