Yes, this was a best paper award at PLDI &#x27;15: <a href="http:&#x2F;&#x2F;homes.cs.washington.edu&#x2F;~jrw12&#x2F;herbie.pdf" rel="nofollow">http:&#x2F;&#x2F;homes.cs.washington.edu&#x2F;~jrw12&#x2F;herbie.pdf</a>