Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs. - Bastien Lecoeur; Hasan Mohsin; Alastair F. Donaldson (Proc. ACM Program. Lang., 2023)