arXiv cs.AI· Tuan Truong Vu, Cheng Tan·· 1 天前AI 评分58
Racer 论文提出用符号等价检查 hunting GPU kernel 缺陷，在 2,408 个生产内核中发现 82 个真实 bug
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
AI 导读
论文提出 Racer，一个 PTX 级符号等价检查引擎，通过在符号输入上执行 kernel 与参考实现，把输出变成精确代数表达式来区分浮点误差与逻辑 bug。它采用 Shape Reduction、lockstep CTA 调度和带精确数值反驳的 idiom 模板三项技术。
来源：arXiv cs.AI · arxiv.org