Fellow
United States – 2007
CITATION

For contributions to compilers and program analysis.