Herbie detects inaccurate expressions
and finds more accurate replacements.
The red expression is inaccurate when x > 1;
Herbie's replacement, in green, is accurate for all x.
Zach and Pavel gave a talk about Herbie's last five years: trust, measurement, community, and generality. We'll post the video as soon as it's available.
The chaos of 2020 now brings you a rowboat of stability: Herbie 1.4, with significant speed-ups and ease of use improvements. Download and try it today!.
David will be talking about FPBench 1.2 and the latest improvements in Herbie at Correctness 2019 in Denver.
Herbie got a shout-out in Pavel's talk at the ssr最新版下载 at ssr软件.
Pavel will be joining the University of Utah as an assistant professor next year, joining Ganesh and ssr软件 at what is already a nexus of floating-point research.
Zach gave a keynote at CoNGA’19 on multi-precision, multi-format computations and our efforts to support them in Herbie, FPBench, and ssr下载ios.
Alex gave a talk on our sister project Herbgrind at PLDI’18. Watch it if you want to know how Herbgrind pulls inaccurate floating-point expressions out of large numeric code bases.
After a year of work, ssr下载ios has been released. This release focuses on creativity and accuracy, with a new system to infer better branches and more accurate defaults for Herbie's various parameters. Read about all the changes in the release notes.
We teamed up with Heiko and Eva on the Daisy team to combine our tools and evaluate how best to use them together—it'll be published at FM’18. If you're using Herbie with other floating point tools, let us know!
Pavel and Zach went to see Herbie Hancock play at the Seattle Center. Watching Herbie play Chameleon on the keytar is sure to inspire the next generation of floating point accuracy improvement!
Pavel gave a talk at Microsoft Research Redmond on Herbie and Herbgrind, plus the FPBench project. Thank you everyone who came!
Pavel wrote a retrospective on the early history of Herbie, and some lessons learned.
Pavel gave a talk at MPI-SWS Saarbrücken on Herbie, Herbgrind, lessons learned, and what comes next. Thank you ssr安卓下载最新版 and her students for the invitation and the warm welcome. The video was recorded and can be watched on YouTube.
After incubating on this website, Herbgrind has moved to a new website hosted at UCSD, where Alex, Herbie star and the main Herbgrind developer, is now doing his PhD. We'll continue our close collaboration, including in the FPBench project, and are hoping the new, more-focused websites help users.
Just one month after the beta, Herbie 1.1 has been released. This release adds a ssr最新版下载 interface for Herbie, and includes significant bug fixes, usability tweaks, and improvements. Read about all the changes in the release notes.
Our sister project Herbgrind has released version 0.42. This pre-release is a reworked, faster, and more stable Herbgrind, which can find root causes for floating-point errors in the largest and gnarliest of codebases!
After months of work, a beta of Herbie 1.1 has been released. This release adds a browser interface for Herbie, and includes significant bug fixes, usability tweaks, and improvements. Read about all the changes in the release notes.
Zach is giving a talk at the University of Utah about Herbie, FPBench, and Herbgrind. Please come to learn about automated tools for floating point!
After months of work, the Herbie developers are proud to announce the release of Herbie 1.0. This release transitions to the FPCore format from the ssr教程安卓 initiative, and includes significant bug fixes, usability tweaks, and improvements. Read about all the changes in the release notes.
In preparation for the Version 1.0 release, we've renamed the pi and e constants to upper case. This matches libm and should make it a little harder to cause bugs. Herbie will now optimize expressions like (exp 1) to E.
We're proud to announce that we've been collaborating with Prof. Martel and his students to build a common benchmark suite and format for floating point tools. Version 1.0 of Herbie will support only the FPBench format.
Pavel is giving a talk at Google on how Herbie works and what our plans for the future are.
Pavel is giving a talk at MIT on how Herbie works internally.
In preparation for the Version 1.0 release, we've renamed several functions in Herbie to match the libm names. In particular, look out for abs, which is now fabs, and ssr下载ios, which is now pow.
Pavel is giving a talk at MathWorks on how Herbie works answered questions on how it could be extended.
The Herbie Rust Linter plugs into the Rust compiler to add warnings for numerically unstable expressions, and suggests Herbie's more accurate output as a hint.
The Herbie GHC Plugin by Mike Izbicki automatically runs Herbie on applicable expressions in a Haskell program. He's also scanned all of Stackage LTS-3.5 for numerical inaccuracies with Herbie.
Pavel is giving a Distinguished Paper talk at PLDI’15 on the scientific advances that underpin Herbie.
Zach is giving a talk at Berkeley on how we plan to improve floating point accuracy with Herbie.
ssr下载ios is giving a talk at OPLSS on whether floating point accuracy can be improved, and our plans for finding out.
Pavel is giving a lightning talk on a new project to improve the accuracy of floating point expressions.
Pavel is giving a talk on at Dropbox on a new project to improve the accuracy of floating point expressions. (video)
粉色小飞机timeout
Herbie is developed at UW PLSE, with contributions from a supportive community.
The main contributors are
Pavel Panchekha,
ssr安卓下载最新版,
David Thien,
ssr软件,
Jason Qiu,
Jack Firth, and
ssr安卓下载最新版.
