3 ms·
Yes, this was a best paper award at PLDI '15: http://homes.cs.washington.edu/~jrw12/herbie.pdf http://homes.cs.washington.edu/~jrw12/herbie.pdf
by davmre 11y ago
Yes, this was a best paper award at PLDI '15: http://homes.cs.washington.edu/~jrw12/herbie.pdf http://homes.cs.washington.edu/~jrw12/herbie.pdf