John Cocke

Digital Library

ACM A. M. Turing Award

USA - 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

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)