BibTeX entry
PostScript
BibTeX entry
PostScript
BibTeX entry
PostScript
| Using the Observer Design Pattern for Implementation of Data Flow Analyses. Gleb Naumovich. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2002), pp. 61 -- 68, November 2002. |
Abstract
BibTeX entry PostScript
|
| An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. Gleb Naumovich, George S. Avrunin, and Lori A. Clarke. Proceedings of the Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 338 -- 354, September 1999. | Abstract
BibTeX entry PostScript |
| A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel. Gleb Naumovich and George S. Avrunin. Proceedings of the 6th International Symposium on the Foundations of Software Engineering, pp. 24 -- 34, November 1998. | Abstract BibTeX entry PostScript |