arXiv · AI· Tuan Truong Vu, Cheng Tan·· 4 小时前AI 评分32
Racer 利用符号等价性检查在 2408 个生产级 GPU 内核中发现 82 个真实 Bug
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
AI 导读
Racer 是一款 PTX 级符号等价性检查引擎，通过执行内核与参考实现于符号输入，将输出转换为精确代数表达式以识别逻辑错误。它在 2408 个生产内核和 41 个收集目标中发现 82 个真实 Bug，涉及 23 个库，其中 76 个为未知 Bug，41 个已确认。
来源：arXiv · AI · arxiv.org