John
Cocke
For his contributions to computer science in the design and theory of compilers, and for major advances in the theory and practice of high-performance computer systems.