Automatically improving accuracy for floating point expressions.

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

Browse the full PLDI paper archive.