@entry{pur-ben-cho-20-aa,
  author = {S Purini and V Benara and Z Choudhury...},
  title = {Bitwidth customization in image processing pipelines using interval analysis and SMT solvers},
  journal = {Proceedings of the 29th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2020,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/3377555.3377899?casa_token=PP_h1qd99u4AAAAA:RfUoYBStXvHcJmgXPGF3fEBE4_mAcNajipqqYylal9At-fEB1zpmZ4Cb1ZdUksTGwZwjvgPR4ig}}},
  quotes = {... extent using affine arithmetic analysis. A detailed discussion on affine arithmetic analysis is ... In this section, we show how interval and affine arithmetic based range analysis techniques ...}
}