FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis.

Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan

Browse the full ICSE paper archive.