Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
GPU kernels are critical to the performance of today's AI services, yet the same operators are rewritten repeatedly: for each GPU generation, numeric format, serving regime, and kernel language. Every rewrite must preserve the function computed by the implementation it replaces. Today, this obligation depends almost en...
Tuan Truong Vu, Cheng Tan
· 0 citations