Combining Tools for Optimization and Analysis of Floating-Point Computations

Heiko Becker, Pavel Pancheckha, Eva Darulova +1

Recent renewed interest in optimizing and analyzing floating-point programs has lead to a diverse array of new tools for numerical programs. These tools are often complementary, ea…