@inproceedings{MS1,
title = { Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion },
author = {Monniaux, David and Six, Cyril},
year = {2021},
booktitle = {{LCTES} '21: 22nd {ACM} {SIGPLAN/SIGBED} International Conference on Languages, Compilers, and Tools for Embedded Systems, Virtual Event, Canada, 22 June, 2021},
pages = {85--96},
publisher = {{ACM}},
team = {axe_FormalProofs, axe_SharedResources, PACSS},
}
