Suresh Purini, Vinamra Benara, Ziaul Choudhury, Uday Bondhugula
Bitwidth customization in image processing pipelines using interval analysis and SMT solvers
CC, 2020.
@inproceedings{CC-2020-PuriniBCB,
author = "Suresh Purini and Vinamra Benara and Ziaul Choudhury and Uday Bondhugula",
booktitle = "{Proceedings of the 29th International Conference on Compiler Construction}",
doi = "10.1145/3377555.3377899",
isbn = "978-1-4503-7120-9",
pages = "167--178",
publisher = "{ACM}",
title = "{Bitwidth customization in image processing pipelines using interval analysis and SMT solvers}",
year = 2020,
}











