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

E-Mail

Homepage

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

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

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