shriram/repro-in-cs — pull request #90 by jbleners (2014-04-04 15:45:16+00:00)
Title: clear pldi12/Chen12

I followed the steps outlined in their 'dispute.txt'