FPBench Logo


Standards and benchmarks for floating-point research

Benchmarks, compilers, and standards
for the floating-point research community.



Cite FPBench!

  author={Nasrine Damouche and Matthieu Martel and Pavel Panchekha and Jason Qiu and Alex Sanchez-Stern and Zachary Tatlock},
  title={Toward a Standard Benchmark Format and Suite for Floating-Point Analysis},

Check out the many papers using FPBench, and if you're using FPBench, let us know!


  1. Correctness 2022
  2. FPTalks 2022
  3. Correctness 2021
  4. FPTalks 2021
  5. Program Synthesis for Scientific Computing
  6. FPTalks 2020
  7. FP Analysis Tools at LANL
  8. FP Analysis Tools at SC'19
  9. FP Analysis Tools at PEARC'19


  1. Thanks to the speakers and participants for a fantastic FPTalks 2021! Videos of the talks are now available on the FPTalks webpage.
  2. Zach and Pavel talked about FPBench at NSV 2020. Watch to hear why building the floating-point community is important to researchers and to users.
  3. Thanks to everyone who participated in the first FPTalks workshop on on June 24! Videos of all the talks are available on the FPTalks webpage.
  4. The FPCore 2.0 standard is now officially released, with support for tensor data structures and composable FPCores.
  5. David is talking about FPBench 1.2 at the Correctness 2019 workshop at SC'19.
  6. Zach gave a keynote about FPBench (and his projects Herbie, Herbgrind, and Titanic) at CoNGA’19.
  7. Check out the new benchmarks browser! You can browse, search, and download the FPBench benchmarks from one convenient place.
  8. The FPBench 1.1 standards have been finalized! Check them out!
  9. 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.
  10. 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!
  11. 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.
  12. 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.
  13. The 1.0 versions of the FPCore, Metadata, and Measures standards have all been finalized. Build with them!
  14. 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.