Racer：用符号等价检查检测GPU内核缺陷

Tuan Truong Vu 与 Cheng Tan 提出“符号等价检查”方法，并实现 PTX 级引擎 Racer，用于检测 GPU 内核的逻辑缺陷。该方法在符号输入上执行内核及其参考实现，把每个输出单元转成精确代数表达式，再检查成对表达式是否对所有输入都一致，以此区分浮点误差与逻辑 bug。 据作者称，单次检查即可覆盖整个输入空间。

AI 根据报道生成 · 51 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。