Joao Rivera, Franz Franchetti, Markus Püschel. A Compiler for Sound Floating-Point Computations using Affine Arithmetic. In Jae W. Lee, Sebastian Hack, Tatiana Shpeisman, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022. pages 66-78, IEEE, 2022. [doi]
@inproceedings{RiveraFP22,
title = {A Compiler for Sound Floating-Point Computations using Affine Arithmetic},
author = {Joao Rivera and Franz Franchetti and Markus Püschel},
year = {2022},
doi = {10.1109/CGO53902.2022.9741286},
url = {https://doi.org/10.1109/CGO53902.2022.9741286},
researchr = {https://researchr.org/publication/RiveraFP22},
cites = {0},
citedby = {0},
pages = {66-78},
booktitle = {IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022},
editor = {Jae W. Lee and Sebastian Hack and Tatiana Shpeisman},
publisher = {IEEE},
isbn = {978-1-6654-0584-3},
}