@misc{indiciae5599aa1470c7,
  title = {Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion},
  author = {David Monniaux and Cyril Six},
  year = {2021},
  url = {https://arxiv.org/abs/2105.01344},
  note = {Source identifier: 2105.01344}
}