disputing pldi12/ZhangAM12