clear pldi12/Chen12
Merge pull request #90 from jbleners/master

clear pldi12/Chen12