GDPA  
Gleb Naumovich  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Gleb Naumovich

E-Mail

naumovic@cs.umass.edu

Homepage

http://wedgwood.cs.umass.edu/~naumovic/

Address

Department of Computer Science 
Laboratory for Advanced Software Engineering Research (LASER)  
349 Lederle Graduate Research Center 
University of Massachusetts, Amherst 
Amherst, MA 01003 
USA
Phone: (413) 545-2146

Institution

University of Massachusetts - Amherst - USA

Publications

1999:
/Naumovich, 1999/ An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
/Naumovich, 1999a/ Data Flow Analysis for Checking Properties of Concurrent Java Programs

1998:
/Naumovich, 1998a/ A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parrallel

See Also

more information at dlpb - Universitšt Trier

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster