I was very curious to skim the papers that (I presume) covered results on non-toy programs. Unfortunately all three 404 :(.

EDIT: Took a look at the issues for the repo, and here are links that work:

https://cs.stanford.edu/people/eschkufz/docs/asplos291-schku...

https://cs.stanford.edu/people/eschkufz/docs/oopsla011-sharm...

https://cs.stanford.edu/people/eschkufz/docs/pldi52-schkufza...

In the issue he also mentioned this paper that's linked from his page:

https://cs.stanford.edu/people/eschkufz/docs/cove.pdf

Going to start reading through these now, seems pretty interesting and I've never come across something like this before.

Have a look at Souper. I believe it's got slightly different approach, but the same idea / result. (https://github.com/google/souper)

Actually I'm a bit disappointed that none of the papers references it (did a quick text search only).