An Interval Compiler for Sound Floating-Point Computations | IEEE Conference Publication | IEEE Xplore