Preprint Open access
RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof
AI systems can now write and optimize production GPU kernels, but validating them remains an important challenge. Evaluating the kernel on a few random inputs and checking that its outputs match a trusted reference kernel within numeric tolerances is not sufficient: races can cause nondeterministic behavior that fails …