@article{GBB+3,
title = { {Formally Verifying Optimizations with Block Simulations} },
author = {Gourdin, L\'eo and Bonneau, Benjamin and Boulm\'e, Sylvain and Monniaux, David and B\'erard, Alexandre},
month = {Oct},
year = {2023},
journal = {{Proceedings of the ACM on Programming Languages, Issue OOPSLA2}},
pages = {59-88},
publisher = {{ACM}},
volume = {7}, % NUMBER = {OOPSLA2},
team = {axe_FormalProofs, axe_SharedResources, axe_Pacs, PACSS},
}