Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.

Rosa Abbasi, Eva Darulova

Browse the full SAS paper archive.