dispute pldi12/PerelmanGBG12
Merge pull request #65 from dperelman/master

dispute pldi12/PerelmanGBG12
Create dispute.txt
Merge pull request #67 from samth/patch-12

Create dispute.txt
Merge pull request #66 from ricci/master

Problem building Boudol et al. from TOPLAS
Update to Jin et al. PLDI '12 stats