Practical Floating-Point Tests with Integer Code
Abstract elided by the publisher.
Related papers
- Exploiting Idle Floating-Point Resources for Integer Execution PLDI 1998
- Printing floating-point numbers quickly and accurately with integers PLDI 2010
- Achieving high coverage for floating-point code via unconstrained programming PLDI 2017
- Improving the Ratio of Memory Operations to Floating-Point Operations in Loops TOPLAS 1994
- The pitfalls of verifying floating-point computations TOPLAS 2008
- Effective floating-point analysis via weak-distance minimization PLDI 2019
- Automatic detection of floating-point exceptions POPL 2013
- Printing floating-point numbers: a faster, always correct method POPL 2016