Bohuslav Krena Zdenek Letko Rachel Tzoref Shmuel Ur Tomás Vojnar Healing data races on-the-fly. 54-64 2007 PADTAD https://doi.org/10.1145/1273647.1273658 conf/issta/2007p db/conf/issta/padtad2007.html#KrenaLTUV07