Finding root causes of floating point error.

Alex Sanchez-Stern Pavel Panchekha Sorin Lerner Zachary Tatlock

Published in: PLDI (2018)

Keyphrases

floating point
root cause
fixed point
square root
root cause analysis
instruction set
process improvement
sparse matrices
floating point arithmetic
management system
decision support
image segmentation