| | Verilog Programs Are Pure Expressions (uwplse.org) |
|
2 points by matt_d 3 months ago | past
|
|
| | Herbie: Optimize Floating-Point Expressions (uwplse.org) |
|
78 points by todsacerdoti 4 months ago | past | 4 comments
|
|
| | Herbie, the Numerical Compiler (uwplse.org) |
|
2 points by matt_d 5 months ago | past
|
|
| | Herbie: Find and fix floating-point accuracy problems (uwplse.org) |
|
159 points by PaulHoule 11 months ago | 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
|
|
