manually added entry for oopsla12/ZhaoPYQWGOPMET12