At FM’18 by H. Becker, P. Panchekha, E. Darulova, and Z. Tatlock
and Herbie using the
FPBench format and tools. All scripts
in a branch.
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
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.
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.