@article{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},
series={NSV'16},
month=July,
year=2016
}
Check out the new benchmarks browser! You can browse, search, and download the FPBench benchmarks from one convenient place.
The FPBench 1.1 standards have been finalized! Check them out!
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.
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!
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.
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.
The 1.0 versions of the FPCore,
Metadata, and Measures
standards have all been finalized. Build with them!
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.