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

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

United States – 1999

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.