Up a level |
Purini, S and Benara, V and Choudhury, Z and Bondhugula, U (2020) Bitwidth customization in image processing pipelines using interval analysis and SMT solvers. In: 29th ACM SIGPLAN International Conference on Compiler Construction, 22 - 23 February 2020, San Diego; United States, pp. 167-178.