Herbie: Automatically rewrites expressions to minimize floating point error

OxO4 wrote: post #4

Looks quite interesting. Is there a paper/tech report that describes the approach? The website [1] seems to be down at the moment. [1] http://herbie.uwplse.org/

I found this: https://github.com/uwplse/herbie

Re: Herbie: Automatically rewrites expressions to minimize floating point error

#7

Post by ufo » Mon, Jan 25, 2016, 12:59 AM UTC

drinknderive wrote: post #3

The heck is Racket?

http://racket-lang.org/

Re: Herbie: Automatically rewrites expressions to minimize floating point error

#8

Post by davmre » Mon, Jan 25, 2016, 1:10 AM UTC

OxO4 wrote: post #4

Looks quite interesting. Is there a paper/tech report that describes the approach? The website [1] seems to be down at the moment. [1] http://herbie.uwplse.org/

Yes, this was a best paper award at PLDI '15: http://homes.cs.washington.edu/~jrw12/herbie.pdf

Re: Herbie: Automatically rewrites expressions to minimize floating point error

#9

Post by [deleted] » Mon, Jan 25, 2016, 1:12 AM UTC

OxO4 wrote: post #4

Looks quite interesting. Is there a paper/tech report that describes the approach? The website [1] seems to be down at the moment. [1] http://herbie.uwplse.org/

[deleted]

Re: Herbie: Automatically rewrites expressions to minimize floating point error

#10

Post by mahmud » Mon, Jan 25, 2016, 1:25 AM UTC

drinknderive wrote: post #3

The heck is Racket?

The language that this site is written in.