Comment by dvdplm

This is very cool. Do you have any advice on papers to read to understand the details of search based compilation a bit more?