Clear CoppaDF12 (PLDI '12)