Lowering STM Overhead with Static Analysis. - Yehuda Afek; Guy Korland; Arie Zilberstein (LCPC, 2010)