Jaeheon Yi Caitlin Sadowski Cormac Flanagan SideTrack: generalizing dynamic atomicity analysis. 2009 PADTAD http://doi.acm.org/10.1145/1639622.1639630 conf/issta/2009p db/conf/issta/padtad2009.html#YiSF09