A dynamic program analysis to find floating-point accuracy problems.

Florian Benz, Andreas Hildebrandt, Sebastian Hack

Browse the full PLDI paper archive.