@entry{lam-hol-sup-13-aa,
  author = {MO Lam and JK Hollingsworth and BR de Supinski...},
  title = {Automatically adapting programs for mixed-precision floating-point computation},
  journal = {Proceedings of the 27th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2464996.2465018?casa_token=RqQyusQ4F74AAAAA:MTW21T3dPdmo0W3Y4Qqui-7nGKjb4pWLJTpEK0UxfprzY4E8daLkGaRjEgRXQEEjKaDombsqLN0}}},
  quotes = {... More recently, Goubault and Martel and others [13, 16, 17, 22, 35, 38, 39] have built abstract semantics and static analyses using affine arithmetic. These techniques, like any static ...}
}