Gleb Naumovich, George S. Avrunin
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel
FSE, 1998.
@inproceedings{FSE-1998-NaumovichA, author = "Gleb Naumovich and George S. Avrunin", booktitle = "{Proceedings of the Sixth International Symposium on Foundations of Software Engineering}", doi = "10.1145/288195.288213", pages = "24--34", publisher = "{ACM}", title = "{A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel}", year = 1998, }