http://web.ist.utl.pt/nuno.lopes/pubs.php?id=alive-pldi15
https://github.com/nunoplopes/alive
http://blog.regehr.org/archives/1170