Fellow
United States – 2009
CITATION

For contributions to program analysis and optimization and sustained professional service to the computer science research community.