031 · 绕过 Triton 后端,正确性责任去了哪里?
AI as a Compiler 让 Agent 从 Triton 直接生成 PTX,在部分任务上找到传统 lowering 之外的优化;但高性能指令也超出了原版验证器的能力。减少中间表示,并不等于消除语义建模与正确性责任。
AI as a Compiler 让 Agent 从 Triton 直接生成 PTX,在部分任务上找到传统 lowering 之外的优化;但高性能指令也超出了原版验证器的能力。减少中间表示,并不等于消除语义建模与正确性责任。
KernelOPT 尊重 Inductor 已做出的库调用分派,只搜索生成的 Triton 子 kernel,并用四级验证决定替换或回退;250 个 KernelBench 问题上的整体加速来自少数显著收益与大量基线保留的组合,不能等同于每个任务都被优化。
从 CUDA 软件栈测试全貌出发,给出一套面向 Triton/GPU compiler 的 fuzz 测试选型、架构、CI 分层和落地方案。
从 CUDA 软件栈测试全貌出发,给出一套面向 Triton/GPU Compiler 的 fuzz 选型与可落地方案:Hypothesis 生成合法程序,Reference/Differential 作为 oracle,Compute Sanitizer 检查内存与并发,mlir-reduce 自动缩减失败用例。