Finding root causes of floating point error.

Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock

Browse the full PLDI paper archive.