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,
}











