News for hackers. Stuff that matters.
Re:Herbie: Automatically rewrites expressions to minimize fl... by davmre on Sunday January 24, 2016 @08:10PM (#10964973)
Yes, this was a best paper award at PLDI '15: http://homes.cs.washington.edu/~jrw12/herbie.pdf

There are no comments on this comment yet.