Measuring the Checker: Mutation Analysis for GPU-Kernel Benchmark Oracles
Mutation analysis is introduced to evaluate GPU kernel benchmark oracles and detect faults in verified implementations.
The paper introduces mutation analysis to evaluate GPU kernel benchmark oracles, detecting faults in verified CUDA implementations and measuring patch adequacy without relying on existing checkers.
70