ACM Doctoral Dissertation Award
Honorable Mention United States – 2001
CITATION

For his dissertation, Generalized Aliasing as a Basis for Program Analysis Tools, nominated by Carnegie Mellon University.