@misc{indiciae9123a352fd0b,
  title = {LifeJacket: Verifying precise floating-point optimizations in LLVM},
  author = {Andres Nötzli and Fraser Brown},
  year = {2016},
  url = {https://arxiv.org/abs/1603.09290},
  note = {Source identifier: 1603.09290}
}