1
Measuring the Checker: Mutation Analysis for GPU-Kernel Benchmark Oracles
The paper introduces mutation analysis as a quantitative adequacy metric for GPU‑kernel benchmark oracles. By injecting 10,303 deterministic faults into 188 verified CUDA kernels (7,384 with a known kill witness), they show the official KernelBench checker misses 16.9% of faults—especially 78.6% of precision‑related faults. Their analysis quantifies the impact of existing patches (e.g., KernelBen…
Hugging Face Daily Papersarxiv.org1 minpaper