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]
Abstract is missing.