@entry{riv-fra-pue-21-aa,
  author = {J Rivera and F Franchetti and M P{\"u}schel},
  title = {An interval compiler for sound floating-point computations},
  journal = {2021 IEEE/ACM ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2021,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/9370307/?casa_token=6VgnxyaRBVEAAAAA:d3j0yP79ME1ohvAGU-CSlPcdm2eYfevZFAWVxjI3I7vX2mKkfKCpCJWLyTE4beL4oFNM4nib}}},
  quotes = {... affine arithmetic is roughly the same and double-double outperforms both. We conclude that}
}