Add dispute file for pldi12/RegehrCCEEY12.
Merge pull request #1 from eeide/master

Add dispute file for pldi12/RegehrCCEEY12.