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

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-schkufza.pdf https://cs.stanford.edu/people/eschkufz/docs/asplos291-schku... https://cs.stanford.edu/people/eschkufz/docs/oopsla011-sharma.pdf https://cs.stanford.edu/people/eschkufz/docs/oopsla011-sharm... https://cs.stanford.edu/people/eschkufz/docs/pldi52-schkufza.pdf 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 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.