How we optimized pruning in Herbie

Show & Tell
1

Stephen asked me to repost here a blog post I wrote about about some optimization work I did in the Herbie project, including some nice profile exploration tools I've built in Racket:

https://pavpanchekha.com/blog/optimizing-alt-minimize.html

One of the big helps in doing that optimization work is the GUI profile explorer I built. If you want to play around with it, you can do so at the bottom of this page:

http://herbie.uwplse.org/reports/1658738250:warfa:main:fc87818c81//timeline.html

Naturally you probably don't know much about the Herbie codebase, but you can start by searching for functions like atab-add-altns, infer-splitpoints, and batch-errors.

4 Likes
2

Thanks Pavel!
I only recently started learning about how floating point can go wrong - It is great that there is tooling to help do it right.
bw
Stephen