Gleb Naumovich George S. Avrunin A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. 24-34 1998 SIGSOFT FSE http://doi.acm.org/10.1145/288195.288213 db/conf/sigsoft/fse98.html#NaumovichA98