Update to Jin et al. PLDI '12 stats