FPBench Logo


Common standards for the floating-point research community

FPBench makes it easier to compare and combine tools from the floating-point research community.

Current Status

FPBench was introduced at NSV’16. Since then, the benchmark suite has grown to 111 benchmarks, several implementations have appeared, and the standards have been deepened and improved.

Benchmark sources
Features used

FPBench also publishes tools for working with its standard formats, including an FPCore reference interpreter and an an FPCore exporter to C.


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

    At NSV’16 by N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-Stern, and Z. Tatlock
    Described the FPBench standards project, including the FPCore standard. The standards continue this work.
  2. Combining Tools for Optimization and Analysis of Floating-Point Computations

    At FM’18 by H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock
    Described experiments combining Daisy and Herbie using the FPBench format and tools. All scripts are available in a branch.


  1. Check out the new benchmarks browser! You can browse, search, and download the FPBench benchmarks from one convenient place.
  2. The FPBench 1.1 standards have been finalized! Check them out!
  3. A draft of the upcoming FPBench 1.1 standards has been released. To preview the changes and leave feedback, see the pull request on github.
  4. The Daisy and Herbie have a paper at FM’18 comparing the two projects using the FPBench benchmarks, formats, and tools. Come talk to them at Oxford!
  5. FPBench was a hit at Dagstuhl 17352 (Analysis and Synthesis of Floating-point Programs), with a talk, a session, and discussions devoted to composing and comparing floating point tools. Thank you to all Dagstuhl participants for clarifying and prioritizing the challenges and for helping shape our next steps.
  6. Zach gave a talk at MPI-SWS (Saarbrüken) on FPBench and the need to create a common benchmark suite. Thank you Eva Darulova and her students for the invitation and the productive discussion on multiple precisions, benchmark sources, and community building that followed.
  7. The 1.0 versions of the FPCore, Metadata, and Measures standards have all been finalized. Build with them!
  8. Pavel Panchekha is giving a talk about FPBench today at the 9th NSV. Come learn about our effort to build common resources for the floating-point research community.