Herbie detects inaccurate expressions and finds more accurate replacements
21 days ago
- #Floating-Point
- #Herbie
- #Release
- Herbie 2.2 introduces a new platform API for pluggable compilation targets.
- Herbie 2.1 focuses on making generated code and Herbie itself faster.
- Herbie 2.0 optimizes for both accuracy and speed, with redesigned reports and metrics.
- Herbie 1.5 re-release due to infrastructure issues; includes features like argument sorting and multiple outputs.
- Herbie 1.4 offers significant speed-ups and ease of use improvements.
- Talks on FPBench 1.2 and Herbie improvements at Correctness 2019.
- Pavel joins University of Utah, strengthening floating-point research.
- Zach's keynote at CoNGA’19 on multi-precision computations.
- Alex's talk on Herbgrind at PLDI’18 about detecting inaccurate floating-point expressions.
- Herbie 1.2 focuses on creativity and accuracy with new branch inference and parameter defaults.
- Collaboration with Daisy team for combining floating-point tools.
- Pavel's retrospective on Herbie's early history.
- Pavel's talk at MPI-SWS Saarbrücken on Herbie and Herbgrind.
- Herbgrind moves to a new website hosted at UCSD.
- Herbie 1.1 adds a browser interface with bug fixes and improvements.
- Herbgrind 0.42 pre-release offers faster and more stable error detection.
- Herbie 1.0 transitions to FPCore format with significant improvements.
- Renaming constants and functions in preparation for Herbie 1.0.
- Collaboration with Prof. Martel on a common benchmark suite.
- Talks at Google, MIT, and MathWorks on Herbie's functionality and future plans.
- Herbie Rust Linter and GHC Plugin for detecting numerical inaccuracies.