ACM A.M. Turing Award
United States – 1987
READ FULL CITATION AND ESSAY
CITATION
For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC); for discovering and systematizing many fundamental transformations now used in optimizing compilers including reduction of operator strength, elimination of common subexpressions, register allocation, constant propagation, and dead code elimination.

ACM - IEEE CS Eckert-Mauchly Award
United States – 1985
CITATION

For contributions to high performance computer architecture through lookahead, parallelism and pipeline utilization, and to reduced instruction set computer architecture through the exploitation of hardware-software tradeoffs and compiler optimization.

CITATION

A program data flow analysis procedure, Communications of the ACM, March 1976 (with F.E. Allen)