The source code is available on his website: http://www.haripyla.com/research/ http://www.haripyla.com/research/ There's also a journal article under submissio

The source code is available on his website: http://www.haripyla.com/research/ http://www.haripyla.com/research/ There's also a journal article under submission which is a more consumable version of his dissertation work: http://www.haripyla.com/wordpress/wp-content/uploads/2012/11/TOPLAS_submission.pdf http://www.haripyla.com/wordpress/wp-content/uploads/2012/11...