Gleb Naumovich
Assistant Professor

Contact:

Office Location: LC113
Phone: (718) 260-3554
Fax: (718) 260-3609
Email: gleb@poly.edu

 
Major Research Interests:
 
- Static analysis of concurrent software
- Program analysis
- Software architecture

Profile:

Gleb Naumovich received his M.S. and Ph.D. in Computer Science from University of Massachusetts, Amherst, in 1995 and 1999. His primary research interests are in the area of static analysis of concurrent and distributed software. He worked on automated techniques for analyzing user-specified properties of concurrent Ada and Java programs, with the emphasis on modeling various models of concurrent execution and optimization of the analysis algorithms. He conducted experiments evaluating the applicability of these techniques for several software domains. He also developed an efficient data flow algorithm for computing a safe approximation of regions that may execute in parallel in concurrent programs. In addition to static analysis, he is also interested in program optimization, testing, and software architectures.

Selected Publications:

• Data Flow Analysis for Checking Properties of Concurrent Java Programs. Gleb Naumovich, George S. Avrunin, and Lori A. Clarke. In Proceedings of the 21st International Conference on Software Engineering, pp. 399-410, May 1999.

• A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel. Gleb Naumovich and George S. Avrunin. In Proceedings of the 6th International Symposium on the Foundations of Software Engineering, November 1998, pages 24-34.

• Applying Static Analysis to Software Architectures. Gleb Naumovich, George S. Avrunin, Lori A. Clarke and Leon J. Osterweil. In Proceedings of Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Springer-Verlag LNCS vol. 1301, 1997, 77--93.

Courses:
 
CS606 Software Engineering I