| | Herbie detects inaccurate expressions and finds more accurate replacements (uwplse.org) |
| 78 points by bwidlar 67 days ago | past | 8 comments |
|
| | Algebraic Semantics for Machine Knitting (uwplse.org) |
| 246 points by PaulHoule 5 months ago | past | 20 comments |
|
| | Algebraic Semantics for Machine Knitting (uwplse.org) |
| 2 points by sksxihve 5 months ago | past |
|
| | Taxonomy of Small Floating-Point Formats (uwplse.org) |
| 2 points by matt_d 7 months ago | past |
|
| | Verilog Programs Are Pure Expressions (uwplse.org) |
| 2 points by matt_d on July 25, 2024 | past |
|
| | Herbie: Optimize Floating-Point Expressions (uwplse.org) |
| 78 points by todsacerdoti on June 4, 2024 | past | 4 comments |
|
| | Herbie, the Numerical Compiler (uwplse.org) |
| 2 points by matt_d on May 20, 2024 | past |
|
| | Herbie: Find and fix floating-point accuracy problems (uwplse.org) |
| 159 points by PaulHoule on Nov 28, 2023 | past | 26 comments |
|
| | Herbie 2.0 Released (uwplse.org) |
| 1 point by pavpanchekha on June 30, 2023 | past |
|
| | Herbie 1.5 Released (uwplse.org) |
| 1 point by pavpanchekha on July 9, 2021 | past |
|
| | Herbie: Automatically Improving Floating Point Accuracy (uwplse.org) |
| 152 points by lelf on Aug 6, 2020 | past | 17 comments |
|
| | Herbie: Automatically Improving Floating Point Accuracy (uwplse.org) |
| 2 points by lelf on Aug 5, 2020 | past |
|
| | The Cassius Project (uwplse.org) |
| 1 point by simonpure on Feb 13, 2020 | past |
|
| | Titanic – a tool for prototyping number systems (uwplse.org) |
| 3 points by breck on Sept 25, 2019 | past |
|
| | Herbie: Find and fix floating-point problems (uwplse.org) |
| 2 points by andyjpb on Aug 19, 2019 | past |
|
| | Herbie: Find and fix floating-point problems (uwplse.org) |
| 3 points by plasticchris on Feb 8, 2019 | past |
|
| | Verdi – Formally Verifying Distributed Systems (2016) (uwplse.org) |
| 166 points by mindcrime on July 9, 2017 | past | 32 comments |
|
| | Herbie 1.1: automatically improve accuracy of floating-point expressions (uwplse.org) |
| 8 points by pavpanchekha on May 1, 2017 | past |
|
| | Herbie 1.0 released (automatically improve floating point accuracy) (uwplse.org) |
| 4 points by pavpanchekha on June 13, 2016 | past |
|
| | Improving Floating Point Accuracy: A Look at Sums (uwplse.org) |
| 66 points by aSanchezStern on Oct 19, 2015 | past | 30 comments |
|
| | Herbie: Automatically Improving Floating Point Accuracy (uwplse.org) |
| 27 points by ingve on Aug 3, 2015 | past | 3 comments |
|
