This reminds me of what a classmate of mine is working on for his PhD: http://www.sable.mcgill.ca/~cpicke/papers/pickett-09-software-TH-proposal.pdf http://www.

This reminds me of what a classmate of mine is working on for his PhD: http://www.sable.mcgill.ca/~cpicke/papers/pickett-09-software-TH-proposal.pdf http://www.sable.mcgill.ca/~cpicke/papers/pickett-09-softwar...