John Cocke

Affiliations:
  • IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA


According to our database1, John Cocke authored at least 22 papers between 1959 and 1991.

Collaborative distances:

Awards

Turing Prize recipient

Turing Prize 1987, "For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC)".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1991
Computer Architecture in the 1990s.
Computer, 1991

1990
The Evolution of RISC Technology at IBM.
IBM J. Res. Dev., 1990

A Statistical Approach to Machine Translation.
Comput. Linguistics, 1990

1989
Probabilistic Parsing Method for Sentence Disambiguation.
Proceedings of the First International Workshop on Parsing Technologies, 1989

1988
Estimating Interlock and Improving Balance for Pipelined Architectures.
J. Parallel Distributed Comput., 1988

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

A Statistical Approach to French/English Translation.
Proceedings of the Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications), 1988

A statistical approach to language translation.
Proceedings of the 12th International Conference on Computational Linguistics, 1988

1982
Optimization of Range Checking.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

Optimization of range checking (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1982

1981
Register Allocation Via Coloring.
Comput. Lang., 1981

1980
Communication: Strenght Reduction for Division and Modulo with Application to Accessing a Multilevel Store.
IBM J. Res. Dev., 1980

Measurement of Programming Improvement Algorithms.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1977
An Algorithm for Reduction of Operator Strength.
Commun. ACM, 1977

1976
A Program Data Flow Analysis Procedure.
Commun. ACM, 1976

1974
Optimal decoding of linear codes for minimizing symbol error rate (Corresp.).
IEEE Trans. Inf. Theory, 1974

1972
Configurable computers: a new class of general purpose machines.
Proceedings of the International Sympoisum on Theoretical Programming, 1972

1971
Bootstrap Hybrid Decoding for Symmetrical Binary Input Channels
Inf. Control., April, 1971

1970
Global common subexpression elimination.
Proceedings of a Symposium on Compiler Optimization, 1970

1964
Universality of Tag Systems with P=2.
J. ACM, 1964

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

The virtual memory in the STRETCH computer.
Proceedings of the Papers presented at the 1959 eastern joint IRE-AIEE-ACM computer conference, 1959


  Loading...