publication venue for Chairs' welcome. 47. 2012 Maximal sound predictive race detection with control flow abstraction 2014