An Interval Compiler for Sound Floating-Point Computations.

Joao Rivera Franz Franchetti Markus Püschel

Published in: CGO (2021)

Keyphrases

floating point
interval arithmetic
square root
floating point unit
fixed point
instruction set
general purpose
programming language
level parallelism
sparse matrices
floating point arithmetic
parallel computation
software systems
fast fourier transform