Efficient search for inputs causing high floating-point errors.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Browse the full PPoPP paper archive.