ACM-IEEE CS Ken Kennedy Award
USA - 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.
USA - 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.