A Compiler for Sound Floating-Point Computations using Affine Arithmetic.

Joao Rivera Franz Franchetti Markus Püschel

Published in: CGO (2022)

Keyphrases

floating point
fixed point
square root
floating point unit
interval arithmetic
floating point arithmetic
general purpose
programming language
affine transformation
instruction set
data management
fast fourier transform
sparse matrices
graph cuts