Automatically improving accuracy for floating point expressions.

Pavel Panchekha Alex Sanchez-Stern James R. Wilcox Zachary Tatlock

Published in: PLDI (2015)

Keyphrases

floating point
fixed point
square root
high accuracy
information systems
instruction set
interval arithmetic
sparse matrices
data structure
natural language
computer science
higher order
fast fourier transform