Here is a paper from last month's CGO2017 conference, explaining the techniques more in detail: http://www.cs.columbia.edu/~cota/pubs/cota_cgo17.pdf