031 · 绕过 Triton 后端,正确性责任去了哪里?

AI as a Compiler 让 Agent 从 Triton 直接生成 PTX,在部分任务上找到传统 lowering 之外的优化;但高性能指令也超出了原版验证器的能力。减少中间表示,并不等于消除语义建模与正确性责任。

October 16, 2026 · 1 min · Cedric

016 · 退回编译器基线,也算优化成功吗?

KernelOPT 尊重 Inductor 已做出的库调用分派,只搜索生成的 Triton 子 kernel,并用四级验证决定替换或回退;250 个 KernelBench 问题上的整体加速来自少数显著收益与大量基线保留的组合,不能等同于每个任务都被优化。

October 1, 2026 · 2 min · Cedric

CUDA 软件栈测试方法论:从 Differential Testing 到 GPU Compiler Fuzzing

从 CUDA 软件栈测试全貌出发,给出一套面向 Triton/GPU compiler 的 fuzz 测试选型、架构、CI 分层和落地方案。

September 11, 2026 · 7 min · Cedric

CUDA 软件栈测试方法论:从 Differential Testing 到 GPU Compiler Fuzzing

从 CUDA 软件栈测试全貌出发,给出一套面向 Triton/GPU Compiler 的 fuzz 选型与可落地方案:Hypothesis 生成合法程序,Reference/Differential 作为 oracle,Compute Sanitizer 检查内存与并发,mlir-reduce 自动缩减失败用例。

September 11, 2026 · 7 min · Cedric