%0 Journal Article %1 journals/pacmpl/LecoeurMD23 %A Lecoeur, Bastien %A Mohsin, Hasan %A Donaldson, Alastair F. %D 2023 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 1801-1825 %T Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#LecoeurMD23 %V 7

@article{journals/pacmpl/LecoeurMD23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Lecoeur, Bastien and Mohsin, Hasan and Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/2e5b5806845253fed7ff4d901508728f7/dblp}, ee = {https://doi.org/10.1145/3591294}, interhash = {f06fdf31075fca35758399607ef3c3ac}, intrahash = {e5b5806845253fed7ff4d901508728f7}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {1801-1825}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#LecoeurMD23}, volume = 7, year = 2023 }