ACM-IEEE CS Ken Kennedy Award
University of Virginia United States – 2012
CITATION

For contributions to compiler technology and software engineering, exemplary service to the profession, and life-long dedication to mentoring and improving diversity in computing.

Fellow
United States – 1999
CITATION

For the development and enhancement of code improving transformations and the efficient design of program analysis algorithms for use in compilers and software engineering tools.