A Compiler for Sound Floating-Point Computations using Affine Arithmetic | IEEE Conference Publication | IEEE Xplore