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/