Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
@article{DBLP:journals/pacmpl/LecoeurMD23,
author = {Bastien Lecoeur and
Hasan Mohsin and
Alastair F. Donaldson},
title = {Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1801-1825},
year = {2023},
doi = {10.1145/3591294},
}