FPBench Logo

FPBench at NSV’16

Toward a Standard Benchmark Format and Suite for Floating-Point Analysis

The first paper on FPBench was published at the Numerical Software Verification workshop in 2016.


We introduce FPBench, a standard benchmark format for validation and optimization of numerical accuracy in floating-point computations. FPBench is a first step toward addressing an increasing need in our community for comparisons and combinations of tools from different application domains. To this end, FPBench provides a basic floating-point benchmark format and accuracy measures for comparing different tools. The FPBench format and measures allow comparing and composing different floating-point tools. We describe the FPBench format and measures and show that FPBench expresses benchmarks from recent papers in the literature, by building an initial benchmark suite drawn from these papers. We intend for FPBench to grow into a standard benchmark suite for the members of the floating-point tools research community.


The paper presents the motivation behind FPBench and describes a preliminary version of the FPBench standards. It is available in PDF format or as TeX sources. All code described in the paper is also freely available online.


The talk was delivired by Pavel Panchekha in a 20 minute slot on . We recorded another take a week after the conference with the same slides, which you can watch below. You can also download the slides in Powerpoint format or PDF format.