Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs - PLDI 2023

Explore a groundbreaking method for compiler bug detection and test-case reduction in programming languages with undefined behavior (UB). Learn about program reconditioning, a technique that enables effective differential testing and bug simplification even when UB detection tools are unavailable. Discover the applications of this approach through two program generation tools: GLSLsmith for OpenGL Shading Language (GLSL) and WGSLsmith for WebGPU Shading Language (WGSL). Examine the results of extensive testing campaigns that uncovered numerous bugs in GLSL and WGSL compilers. Gain insights into the challenges of compiler testing in the presence of UB and understand how reconditioning addresses these issues. Additionally, explore a novel approach to managing floating-point roundoff errors using reconditioning techniques implemented for both GLSL and WGSL.

[PLDI24] [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and(…)