dispute pldi12/PerelmanGBG12