Dispute for oopsla12/KangR12