The virtual memory in the STRETCH computer. - John Cocke; Harwood G. Kolsky (IRE-AIEE-ACM Computer Conference (Eastern), 1959)

Lossless symbol coding with nonprimes (Corresp.). - John Cocke (IRE Trans. Inf. Theory, 1959)

Universality of Tag Systems with P=2. - John Cocke; Marvin Minsky (J. ACM, 1964)

Global common subexpression elimination. - John Cocke (Symposium on Compiler Optimization, 1970)

Bootstrap Hybrid Decoding for Symmetrical Binary Input Channels - Frederick Jelinek; John Cocke (Inf. Control., 1971)

Configurable computers: a new class of general purpose machines. - Raymond E. Miller; John Cocke (International Sympoisum on Theoretical Programming, 1972)

Optimal decoding of linear codes for minimizing symbol error rate (Corresp.). - Lalit R. Bahl; John Cocke; Frederick Jelinek; Josef Raviv (IEEE Trans. Inf. Theory, 1974)

A Program Data Flow Analysis Procedure. - Frances E. Allen; John Cocke (Commun. ACM, 1976)

An Algorithm for Reduction of Operator Strength. - John Cocke; Ken Kennedy (Commun. ACM, 1977)

Measurement of Programming Improvement Algorithms. - John Cocke; Peter W. Markstein (IFIP Congress, 1980)

Communication: Strenght Reduction for Division and Modulo with Application to Accessing a Multilevel Store. - John Cocke; Peter W. Markstein (IBM J. Res. Dev., 1980)

Register Allocation Via Coloring. - Gregory J. Chaitin; Marc A. Auslander; Ashok K. Chandra; John Cocke; Martin E. Hopkins; Peter W. Markstein (Comput. Lang., 1981)

Optimization of range checking (with retrospective) - Victoria Markstein; Peter W. Markstein; John Cocke (Best of PLDI, 1982)

Optimization of Range Checking. - Victoria Markstein; John Cocke; Peter W. Markstein (SIGPLAN Symposium on Compiler Construction, 1982)

A statistical approach to language translation. - Peter F. Brown; John Cocke; Stephen Della Pietra; Vincent J. Della Pietra; Frederick Jelinek; Robert L. Mercer; Paul S. Roossin (COLING, 1988)

A Statistical Approach to French/English Translation. - Peter F. Brown; John Cocke; Stephen Della Pietra; Vincent J. Della Pietra; Frederick Jelinek; Robert L. Mercer; Paul S. Roossin (RIAO, 1988)

The Search for Performance in Scientific Processors (Turing Award Lecture). - John Cocke (Commun. ACM, 1988)

Estimating Interlock and Improving Balance for Pipelined Architectures. - David Callahan; John Cocke; Ken Kennedy (J. Parallel Distributed Comput., 1988)

Probabilistic Parsing Method for Sentence Disambiguation. - T. Fujisaki; Frederick Jelinek; John Cocke; E. Black; T. Nishino (IWPT, 1989)

A Statistical Approach to Machine Translation. - Peter F. Brown; John Cocke; Stephen Della Pietra; Vincent J. Della Pietra; Frederick Jelinek; John D. Lafferty; Robert L. Mercer; Paul S. Roossin (Comput. Linguistics, 1990)

The Evolution of RISC Technology at IBM. - John Cocke; Victoria Markstein (IBM J. Res. Dev., 1990)

Computer Architecture in the 1990s. - Harold S. Stone; John Cocke (Computer, 1991)