John Cocke (May 30, 1925 – July 16, 2002) was an American computer scientist at IBM and recognized for his large contribution to computer architecture and optimizing compiler design. He is considered by many to be "the father of RISC architecture."[1]
Biography
He was born in Charlotte, North Carolina, US. He attended Duke University, where he received his bachelor's degree in mechanical engineering in 1946 and his Ph.D. in mathematics in 1956. Cocke spent his entire career as an industrial researcher for IBM, from 1956 to 1992.[2]
Perhaps the project where his innovations were most noted was in the IBM 801 minicomputer, where his realization that matching the design of the architecture's instruction set to the relatively simple instructions actually emitted by compilers could allow high performance at a low cost.
He is one of the inventors of the CYK algorithm (C for Cocke). He was also involved in the pioneering speech recognition and machine translation work at IBM in the 1970s and 1980s, and is credited by Frederick Jelinek with originating the idea of using a trigram language model for speech recognition.[3]
Cocke was appointed IBM Fellow in 1972. He won the Eckert–Mauchly Award in 1985, ACM Turing Award in 1987,[4] the National Medal of Technology in 1991 and the National Medal of Science in 1994,[5][1] IEEE John von Neumann Medal in 1984, The Franklin Institute's Certificate of Merit in 1996, the Seymour Cray Computer Engineering Award in 1999, and The Benjamin Franklin Medal in 2000. He was a member of the American Academy of Arts and Sciences,[6] the American Philosophical Society,[7] and the National Academy of Sciences.[8]
In 2002, he was made a Fellow of the Computer History Museum "for his development and implementation of reduced instruction set computer architecture and program optimization technology."[9]
He died in Valhalla, New York, US.
References
- ^ a b
Schofield, Jack (2002-07-27). "John Cocke". The Guardian. Retrieved 2011-05-10.
Cocke's idea was to use fewer instructions, but design chips that performed simple instructions very quickly. [...] Later, this approach became known as reduced instruction set computing (Risc) [...]
- ^ Lohr, Steve (2002-07-19). "John Cocke, a Chip Wizard From I.B.M., Is Dead at 77". The New York Times. Retrieved 2024-02-11.
- ^ Jelinek, Frederick, "The Dawn of Statistical ASR and MT", Computational Linguistics, 35(4), 2009, pp. 483-494, doi: 10.1162/coli.2009.35.4.35401
- ^ John Cocke, The search for performance in scientific processors: the Turing Award lecture. Communications of the ACM, Volume 31 Issue 3, March 1988, Pages 250-253. doi:10.1145/42392.42394
- ^ "National Science Foundation - The President's National Medal of Science". Nsf.gov. Retrieved 2014-06-19.
- ^ "John Cocke". American Academy of Arts & Sciences. Retrieved 2021-12-21.
- ^ "APS Member History". search.amphilsoc.org. Retrieved 2021-12-21.
- ^ "John Cocke". www.nasonline.org. Retrieved 2021-12-21.
- ^ "John Cocke". Computer History Museum. Archived from the original on 2013-05-09. Retrieved 2013-05-23.
External links
A. M. Turing Award laureates |
---|
|
United States National Medal of Science laureates |
---|
Behavioral and social science |
---|
1960s | |
---|
1980s |
- 1986
- Herbert A. Simon
- 1987
- Anne Anastasi
- George J. Stigler
- 1988
- Milton Friedman
|
---|
1990s |
- 1990
- Leonid Hurwicz
- Patrick Suppes
- 1991
- George A. Miller
- 1992
- Eleanor J. Gibson
- 1994
- Robert K. Merton
- 1995
- Roger N. Shepard
- 1996
- Paul Samuelson
- 1997
- William K. Estes
- 1998
- William Julius Wilson
- 1999
- Robert M. Solow
|
---|
2000s |
- 2000
- Gary Becker
- 2003
- R. Duncan Luce
- 2004
- Kenneth Arrow
- 2005
- Gordon H. Bower
- 2008
- Michael I. Posner
- 2009
- Mortimer Mishkin
|
---|
2010s |
- 2011
- Anne Treisman
- 2014
- Robert Axelrod
- 2015
- Albert Bandura
|
---|
2020s |
- 2023
- Huda Akil
- Shelley E. Taylor
- 2025
- Larry Bartels
|
---|
|
|
Biological sciences |
---|
1960s |
- 1963
- C. B. van Niel
- 1964
- Theodosius Dobzhansky
- Marshall W. Nirenberg
- 1965
- Francis P. Rous
- George G. Simpson
- Donald D. Van Slyke
- 1966
- Edward F. Knipling
- Fritz Albert Lipmann
- William C. Rose
- Sewall Wright
- 1967
- Kenneth S. Cole
- Harry F. Harlow
- Michael Heidelberger
- Alfred H. Sturtevant
- 1968
- Horace Barker
- Bernard B. Brodie
- Detlev W. Bronk
- Jay Lush
- Burrhus Frederic Skinner
- 1969
- Robert Huebner
- Ernst Mayr
|
---|
1970s |
- 1970
- Barbara McClintock
- Albert B. Sabin
- 1973
- Daniel I. Arnon
- Earl W. Sutherland Jr.
- 1974
- Britton Chance
- Erwin Chargaff
- James V. Neel
- James Augustine Shannon
- 1975
- Hallowell Davis
- Paul Gyorgy
- Sterling B. Hendricks
- Orville Alvin Vogel
- 1976
- Roger Guillemin
- Keith Roberts Porter
- Efraim Racker
- E. O. Wilson
- 1979
- Robert H. Burris
- Elizabeth C. Crosby
- Arthur Kornberg
- Severo Ochoa
- Earl Reece Stadtman
- George Ledyard Stebbins
- Paul Alfred Weiss
|
---|
1980s |
- 1981
- Philip Handler
- 1982
- Seymour Benzer
- Glenn W. Burton
- Mildred Cohn
- 1983
- Howard L. Bachrach
- Paul Berg
- Wendell L. Roelofs
- Berta Scharrer
- 1986
- Stanley Cohen
- Donald A. Henderson
- Vernon B. Mountcastle
- George Emil Palade
- Joan A. Steitz
- 1987
- Michael E. DeBakey
- Theodor O. Diener
- Harry Eagle
- Har Gobind Khorana
- Rita Levi-Montalcini
- 1988
- Michael S. Brown
- Stanley Norman Cohen
- Joseph L. Goldstein
- Maurice R. Hilleman
- Eric R. Kandel
- Rosalyn Sussman Yalow
- 1989
- Katherine Esau
- Viktor Hamburger
- Philip Leder
- Joshua Lederberg
- Roger W. Sperry
- Harland G. Wood
|
---|
1990s |
- 1990
- Baruj Benacerraf
- Herbert W. Boyer
- Daniel E. Koshland Jr.
- Edward B. Lewis
- David G. Nathan
- E. Donnall Thomas
- 1991
- Mary Ellen Avery
- G. Evelyn Hutchinson
- Elvin A. Kabat
- Robert W. Kates
- Salvador Luria
- Paul A. Marks
- Folke K. Skoog
- Paul C. Zamecnik
- 1992
- Maxine Singer
- Howard Martin Temin
- 1993
- Daniel Nathans
- Salome G. Waelsch
- 1994
- Thomas Eisner
- Elizabeth F. Neufeld
- 1995
- Alexander Rich
- 1996
- Ruth Patrick
- 1997
- James Watson
- Robert A. Weinberg
- 1998
- Bruce Ames
- Janet Rowley
- 1999
- David Baltimore
- Jared Diamond
- Lynn Margulis
|
---|
2000s |
- 2000
- Nancy C. Andreasen
- Peter H. Raven
- Carl Woese
- 2001
- Francisco J. Ayala
- George F. Bass
- Mario R. Capecchi
- Ann Graybiel
- Gene E. Likens
- Victor A. McKusick
- Harold Varmus
- 2002
- James E. Darnell
- Evelyn M. Witkin
- 2003
- J. Michael Bishop
- Solomon H. Snyder
- Charles Yanofsky
- 2004
- Norman E. Borlaug
- Phillip A. Sharp
- Thomas E. Starzl
- 2005
- Anthony Fauci
- Torsten N. Wiesel
- 2006
- Rita R. Colwell
- Nina Fedoroff
- Lubert Stryer
- 2007
- Robert J. Lefkowitz
- Bert W. O'Malley
- 2008
- Francis S. Collins
- Elaine Fuchs
- J. Craig Venter
- 2009
- Susan L. Lindquist
- Stanley B. Prusiner
|
---|
2010s |
- 2010
- Ralph L. Brinster
- Rudolf Jaenisch
- 2011
- Lucy Shapiro
- Leroy Hood
- Sallie Chisholm
- 2012
- May Berenbaum
- Bruce Alberts
- 2013
- Rakesh K. Jain
- 2014
- Stanley Falkow
- Mary-Claire King
- Simon Levin
|
---|
2020s |
- 2023
- Gebisa Ejeta
- Eve Marder
- Gregory Petsko
- Sheldon Weinbaum
- 2025
- Bonnie Bassler
- Angela Belcher
- Helen Blau
- Emery N. Brown
- G. David Tilman
- Teresa Woodruff
|
---|
|
|
Chemistry |
---|
1960s | |
---|
1980s |
- 1982
- F. Albert Cotton
- Gilbert Stork
- 1983
- Roald Hoffmann
- George C. Pimentel
- Richard N. Zare
- 1986
- Harry B. Gray
- Yuan Tseh Lee
- Carl S. Marvel
- Frank H. Westheimer
- 1987
- William S. Johnson
- Walter H. Stockmayer
- Max Tishler
- 1988
- William O. Baker
- Konrad E. Bloch
- Elias J. Corey
- 1989
- Richard B. Bernstein
- Melvin Calvin
- Rudolph A. Marcus
- Harden M. McConnell
|
---|
1990s |
- 1990
- Elkan Blout
- Karl Folkers
- John D. Roberts
- 1991
- Ronald Breslow
- Gertrude B. Elion
- Dudley R. Herschbach
- Glenn T. Seaborg
- 1992
- Howard E. Simmons Jr.
- 1993
- Donald J. Cram
- Norman Hackerman
- 1994
- George S. Hammond
- 1995
- Thomas Cech
- Isabella L. Karle
- 1996
- Norman Davidson
- 1997
- Darleane C. Hoffman
- Harold S. Johnston
- 1998
- John W. Cahn
- George M. Whitesides
- 1999
- Stuart A. Rice
- John Ross
- Susan Solomon
|
---|
2000s |
- 2000
- John D. Baldeschwieler
- Ralph F. Hirschmann
- 2001
- Ernest R. Davidson
- Gábor A. Somorjai
- 2002
- John I. Brauman
- 2004
- Stephen J. Lippard
- 2005
- Tobin J. Marks
- 2006
- Marvin H. Caruthers
- Peter B. Dervan
- 2007
- Mostafa A. El-Sayed
- 2008
- Joanna Fowler
- JoAnne Stubbe
- 2009
- Stephen J. Benkovic
- Marye Anne Fox
|
---|
2010s |
- 2010
- Jacqueline K. Barton
- Peter J. Stang
- 2011
- Allen J. Bard
- M. Frederick Hawthorne
- 2012
- Judith P. Klinman
- Jerrold Meinwald
- 2013
- Geraldine L. Richmond
- 2014
- A. Paul Alivisatos
- 2025
- R. Lawrence Edwards
|
---|
|
|
Engineering sciences |
---|
1960s |
- 1962
- Theodore von Kármán
- 1963
- Vannevar Bush
- John Robinson Pierce
- 1964
- Charles S. Draper
- Othmar H. Ammann
- 1965
- Hugh L. Dryden
- Clarence L. Johnson
- Warren K. Lewis
- 1966
- Claude E. Shannon
- 1967
- Edwin H. Land
- Igor I. Sikorsky
- 1968
- J. Presper Eckert
- Nathan M. Newmark
- 1969
- Jack St. Clair Kilby
|
---|
1970s |
- 1970
- George E. Mueller
- 1973
- Harold E. Edgerton
- Richard T. Whitcomb
- 1974
- Rudolf Kompfner
- Ralph Brazelton Peck
- Abel Wolman
- 1975
- Manson Benedict
- William Hayward Pickering
- Frederick E. Terman
- Wernher von Braun
- 1976
- Morris Cohen
- Peter C. Goldmark
- Erwin Wilhelm Müller
- 1979
- Emmett N. Leith
- Raymond D. Mindlin
- Robert N. Noyce
- Earl R. Parker
- Simon Ramo
|
---|
1980s |
- 1982
- Edward H. Heinemann
- Donald L. Katz
- 1983
- Bill Hewlett
- George Low
- John G. Trump
- 1986
- Hans Wolfgang Liepmann
- Tung-Yen Lin
- Bernard M. Oliver
- 1987
- Robert Byron Bird
- H. Bolton Seed
- Ernst Weber
- 1988
- Daniel C. Drucker
- Willis M. Hawkins
- George W. Housner
- 1989
- Harry George Drickamer
- Herbert E. Grier
|
---|
1990s |
- 1990
- Mildred Dresselhaus
- Nick Holonyak Jr.
- 1991
- George H. Heilmeier
- Luna B. Leopold
- H. Guyford Stever
- 1992
- Calvin F. Quate
- John Roy Whinnery
- 1993
- Alfred Y. Cho
- 1994
- Ray W. Clough
- 1995
- Hermann A. Haus
- 1996
- James L. Flanagan
- C. Kumar N. Patel
- 1998
- Eli Ruckenstein
- 1999
- Kenneth N. Stevens
|
---|
2000s |
- 2000
- Yuan-Cheng B. Fung
- 2001
- Andreas Acrivos
- 2002
- Leo Beranek
- 2003
- John M. Prausnitz
- 2004
- Edwin N. Lightfoot
- 2005
- Jan D. Achenbach
- 2006
- Robert S. Langer
- 2007
- David J. Wineland
- 2008
- Rudolf E. Kálmán
- 2009
- Amnon Yariv
|
---|
2010s |
- 2010
- Shu Chien
- 2011
- John B. Goodenough
- 2012
- Thomas Kailath
|
---|
2020s |
- 2023
- Subra Suresh
- 2025
- John Dabiri
|
---|
|
|
Mathematical, statistical, and computer sciences |
---|
1960s |
- 1963
- Norbert Wiener
- 1964
- Solomon Lefschetz
- H. Marston Morse
- 1965
- Oscar Zariski
- 1966
- John Milnor
- 1967
- Paul Cohen
- 1968
- Jerzy Neyman
- 1969
- William Feller
|
---|
1970s |
- 1970
- Richard Brauer
- 1973
- John Tukey
- 1974
- Kurt Gödel
- 1975
- John W. Backus
- Shiing-Shen Chern
- George Dantzig
- 1976
- Kurt Otto Friedrichs
- Hassler Whitney
- 1979
- Joseph L. Doob
- Donald E. Knuth
|
---|
1980s |
- 1982
- Marshall H. Stone
- 1983
- Herman Goldstine
- Isadore Singer
- 1986
- Peter Lax
- Antoni Zygmund
- 1987
- Raoul Bott
- Michael Freedman
- 1988
- Ralph E. Gomory
- Joseph B. Keller
- 1989
- Samuel Karlin
- Saunders Mac Lane
- Donald C. Spencer
|
---|
1990s |
- 1990
- George F. Carrier
- Stephen Cole Kleene
- John McCarthy
- 1991
- Alberto Calderón
- 1992
- Allen Newell
- 1993
- Martin David Kruskal
- 1994
- 1995
- Louis Nirenberg
- 1996
- Richard Karp
- Stephen Smale
- 1997
- Shing-Tung Yau
- 1998
- Cathleen Synge Morawetz
- 1999
- Felix Browder
- Ronald R. Coifman
|
---|
2000s |
- 2000
- John Griggs Thompson
- Karen Uhlenbeck
- 2001
- Calyampudi R. Rao
- Elias M. Stein
- 2002
- James G. Glimm
- 2003
- Carl R. de Boor
- 2004
- Dennis P. Sullivan
- 2005
- Bradley Efron
- 2006
- Hyman Bass
- 2007
- Leonard Kleinrock
- Andrew J. Viterbi
- 2009
- David B. Mumford
|
---|
2010s |
- 2010
- Richard A. Tapia
- S. R. Srinivasa Varadhan
- 2011
- Solomon W. Golomb
- Barry Mazur
- 2012
- Alexandre Chorin
- David Blackwell
- 2013
- Michael Artin
|
---|
2020s |
- 2025
- Ingrid Daubechies
- Cynthia Dwork
|
---|
|
|
Physical sciences |
---|
1960s |
- 1963
- Luis W. Alvarez
- 1964
- Julian Schwinger
- Harold Urey
- Robert Burns Woodward
- 1965
- John Bardeen
- Peter Debye
- Leon M. Lederman
- William Rubey
- 1966
- Jacob Bjerknes
- Subrahmanyan Chandrasekhar
- Henry Eyring
- John H. Van Vleck
- Vladimir K. Zworykin
- 1967
- Jesse Beams
- Francis Birch
- Gregory Breit
- Louis Hammett
- George Kistiakowsky
- 1968
- Paul Bartlett
- Herbert Friedman
- Lars Onsager
- Eugene Wigner
- 1969
- Herbert C. Brown
- Wolfgang Panofsky
|
---|
1970s |
- 1970
- Robert H. Dicke
- Allan R. Sandage
- John C. Slater
- John A. Wheeler
- Saul Winstein
- 1973
- Carl Djerassi
- Maurice Ewing
- Arie Jan Haagen-Smit
- Vladimir Haensel
- Frederick Seitz
- Robert Rathbun Wilson
- 1974
- Nicolaas Bloembergen
- Paul Flory
- William Alfred Fowler
- Linus Carl Pauling
- Kenneth Sanborn Pitzer
- 1975
- Hans A. Bethe
- Joseph O. Hirschfelder
- Lewis Sarett
- Edgar Bright Wilson
- Chien-Shiung Wu
- 1976
- Samuel Goudsmit
- Herbert S. Gutowsky
- Frederick Rossini
- Verner Suomi
- Henry Taube
- George Uhlenbeck
- 1979
- Richard P. Feynman
- Herman Mark
- Edward M. Purcell
- John Sinfelt
- Lyman Spitzer
- Victor F. Weisskopf
|
---|
1980s |
- 1982
- Philip W. Anderson
- Yoichiro Nambu
- Edward Teller
- Charles H. Townes
- 1983
- E. Margaret Burbidge
- Maurice Goldhaber
- Helmut Landsberg
- Walter Munk
- Frederick Reines
- Bruno B. Rossi
- J. Robert Schrieffer
- 1986
- Solomon J. Buchsbaum
- H. Richard Crane
- Herman Feshbach
- Robert Hofstadter
- Chen-Ning Yang
- 1987
- Philip Abelson
- Walter Elsasser
- Paul C. Lauterbur
- George Pake
- James A. Van Allen
- 1988
- D. Allan Bromley
- Paul Ching-Wu Chu
- Walter Kohn
- Norman Foster Ramsey Jr.
- Jack Steinberger
- 1989
- Arnold O. Beckman
- Eugene Parker
- Robert Sharp
- Henry Stommel
|
---|
1990s |
- 1990
- Allan M. Cormack
- Edwin M. McMillan
- Robert Pound
- Roger Revelle
- 1991
- Arthur L. Schawlow
- Ed Stone
- Steven Weinberg
- 1992
- Eugene M. Shoemaker
- 1993
- Val Fitch
- Vera Rubin
- 1994
- Albert Overhauser
- Frank Press
- 1995
- Hans Dehmelt
- Peter Goldreich
- 1996
- Wallace S. Broecker
- 1997
- Marshall Rosenbluth
- Martin Schwarzschild
- George Wetherill
- 1998
- Don L. Anderson
- John N. Bahcall
- 1999
- James Cronin
- Leo Kadanoff
|
---|
2000s |
- 2000
- Willis E. Lamb
- Jeremiah P. Ostriker
- Gilbert F. White
- 2001
- Marvin L. Cohen
- Raymond Davis Jr.
- Charles Keeling
- 2002
- Richard Garwin
- W. Jason Morgan
- Edward Witten
- 2003
- G. Brent Dalrymple
- Riccardo Giacconi
- 2004
- Robert N. Clayton
- 2005
- Ralph A. Alpher
- Lonnie Thompson
- 2006
- Daniel Kleppner
- 2007
- Fay Ajzenberg-Selove
- Charles P. Slichter
- 2008
- Berni Alder
- James E. Gunn
- 2009
- Yakir Aharonov
- Esther M. Conwell
- Warren M. Washington
|
---|
2010s |
- 2011
- Sidney Drell
- Sandra Faber
- Sylvester James Gates
- 2012
- Burton Richter
- Sean C. Solomon
- 2014
- Shirley Ann Jackson
|
---|
2020s |
- 2023
- Barry Barish
- Myriam Sarachik
- 2025
- Richard Alley
- Wendy Freedman
- Keivan Stassun
|
---|
|
|
Authority control databases |
---|
International | |
---|
Academics | |
---|
Other | |
---|