@entry{dar-hor-sha-18-aa,
  author = {E Darulova and E Horn and S Sharma},
  title = {Sound mixed-precision optimization with rewriting},
  journal = {2018 ACM/IEEE 9th ...,},
  year = 2018,
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/8443735/?casa_token=nG9bZjd7av8AAAAA:F2pKaaXqZyqcPyNYlVAQWUAFFfdKeuTQpwiICT7Nhge-if3FlShvs5n7bCUtj6s1HsYhNJCc}}},
  quotes = {... For the fitness function, we use the static error analysis as described in subsection III-C, with interval arithmetic for computing ranges and affine arithmetic for tracking errors. This ...}
}