Proving memory safety of floating-point computations by combining static and dynamic program analysis.

Patrice Godefroid Johannes Kinder

Published in: ISSTA (2010)

Keyphrases

floating point
fixed point
memory bandwidth
square root
instruction set
memory requirements
sparse matrices
general purpose
fast fourier transform
interval arithmetic
floating point arithmetic
data structure
computer science
signal processing
memory space