FPBench Logo

FPBench

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
Rosa37
Herbie28
Salsa25
FPTaylor21
Features used
Arithmetic111
Temporaries57
Comparison33
Loops28
Exponents16
Trigonometry15
Conditionals10
Domains
Textbooks28
Mathematics24
Controls10
Science10

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

News

  1. 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.
  2. 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.
  3. The 1.0 versions of the FPCore, Metadata, and Measures standards have all been finalized. Build with them!
  4. 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.