John Cocke
ACM A. M. Turing Award
USA - 1987
READ FULL CITATION AND ESSAYcitation
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
USA - 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.
ACM Programming Systems and Languages Paper Award
USA - 1976
citation
A program data flow analysis procedure, Communications of the ACM, March 1976 (with F.E. Allen)