TAO: two-level atomicity for dynamic binary optimizations. - Edson Borin; Youfeng Wu; Cheng Wang 013; Wei Liu 014; Maurício Breternitz Jr.; Shiliang Hu; Esfir Natanzon; Shai Rotem; Roni Rosner (CGO, 2010)