Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard. Formally Verifying Optimizations with Block Simulations. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):59-88, October 2023. [doi]
@article{GourdinBBMB23,
title = {Formally Verifying Optimizations with Block Simulations},
author = {Léo Gourdin and Benjamin Bonneau and Sylvain Boulmé and David Monniaux and Alexandre Bérard},
year = {2023},
month = {October},
doi = {10.1145/3622799},
url = {https://doi.org/10.1145/3622799},
researchr = {https://researchr.org/publication/GourdinBBMB23},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {OOPSLA2},
pages = {59-88},
}