TURING LECTURES

• (2018)
  Hinton, Geoffrey E
  The Deep Learning Revolution
  
  
  LeCun, Yann
  The Deep Learning Revolution: The Sequel
  
  
  
• (2017)
  Hennessy, John L
  A New Golden Age for Computer Architecture
  
  
  Patterson, David
  A New Golden Age for Computer Architecture
  
  
  
• (2016)
  Berners-Lee, Tim
  The World Wide Web
  
  
  
• (2015)
  Diffie, Whitfield
  The Evolving Meaning of Information Security
  
  
  Hellman, Martin
  Cybersecurity, Nuclear Security, Alan Turing, and Illogical Logic
  
  
  
• (2014)
  Stonebraker, Michael
  Postgres
  
  
  
• (2013)
  Lamport, Leslie
  An Incomplete History of Concurrency
  
  
  
• (2012)
  Goldwasser, Shafi
  The Cryptographic Lens
  
  
  Micali, Silvio
  Proof According to Silvio
  
  
  
• (2011)
  Pearl, Judea
  The Mechanization of Causal Inference: A “mini” Turing Test and Beyond
  
  
  
• (2010)
  Valiant, Leslie Gabriel
  The Extent and Limitations of Mechanistic Explanations of Nature
  
  
  
• (2009)
  Thacker, Charles P. (Chuck)
  Improving the future by examining the past: ACM Turing Award Lecture
  
  
  
• (2008)
  Liskov, Barbara
  The Power of Abstraction
  
  
  
• (2007)
  Clarke, Edmund Melson
  Model checking: my 27-year quest to overcome the state explosion problem
  
  
  Emerson, E. Allen
  Model checking: A Personal Perspective
  
  
  Sifakis, Joseph
  The Quest for Correctness Beyond Verification
  
  
  
• (2006)
  Allen, Frances ("Fran") Elizabeth
  Compiling for Performance: A Personal Tour
  
  
  
• (2005)
  Naur, Peter
  Computing vs. Human Thinking
  
  
  
• (2004)
  Cerf, Vinton (“Vint”) Gray
  Assessing the Internet: Lessons Learned, Strategies for Evolution, and Future Possibilities
  
  
  Kahn, Robert (“Bob”) Elliot
  Assessing the Internet: Lessons Learned, Strategies for Evolution, and Future Possibilities
  
  
  
• (2003)
  Kay, Alan
  Turing Award Lecture
  
  
  
• (2002)
  Adleman, Leonard (Len) Max
  Pre-RSA Days: History and Lessons
  
  
  Rivest, Ronald (Ron) Linn
  The Eary Days of RSA: History and Lessons
  
  
  Shamir, Adi
  Cryptography: State of the science
  
  
  
• (1998)
  Gray, James ("Jim") Nicholas
  What Next?: A Dozen Information-Technology Research Goals
  
  
  
• (1996)
  Pnueli, Amir
  Verification engineering: a future profession
  
  
  
• (1994)
  Feigenbaum, Edward A ("Ed")
  How the “what” becomes the “how”
  
  
  Reddy, Dabbala Rajagopal ("Raj")
  To dream the possible dream
  
  
  
• (1993)
  Hartmanis, Juris
  Turing award lecture: on computational complexity and the nature of computer science
  
  
  Stearns, Richard ("Dick") Edwin
  Turing award lecture: it's time to reconsider time
  
  
  
• (1992)
  Lampson, Butler W
  Principles for Computer System Design
  
  
  

• (1991)
  Milner, Arthur John Robin Gorell ("Robin")
  Elements of interaction
  
  
  
• (1990)
  Corbato, Fernando J ("Corby")
  On building systems that will fail
  
  
  
• (1988)
  Sutherland, Ivan
  Micropipelines
  
  
  
• (1987)
  Cocke, John
  The search for performance in scientific processors
  
  
  
• (1986)
  Hopcroft, John E
  Computer science: the emergence of a discipline
  
  
  Tarjan, Robert (Bob) Endre
  Algorithm design
  
  
  
• (1985)
  Karp, Richard ("Dick") Manning
  Combinatorics, complexity, and randomness
  
  
  
• (1984)
  Wirth, Niklaus E
  From programming language design to computer construction
  
  
  
• (1983)
  Ritchie, Dennis M.
  Reflections on software research
  
  
  Thompson, Kenneth Lane
  Reflections on trusting trust
  
  
  
• (1982)
  Cook, Stephen Arthur
  An overview of computational complexity
  
  
  
• (1981)
  Codd, Edgar F. ("Ted")
  Relational database: a practical foundation for productivity
  
  
  
• (1980)
  Hoare, C. Antony ("Tony") R.
  The emperor's old clothes
  
  
  
• (1979)
  Iverson, Kenneth E. ("Ken")
  Notation as a tool of thought
  
  
  
• (1978)
  Floyd, Robert (Bob) W
  The paradigms of programming
  
  
  
• (1977)
  Backus, John
  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
  
  
  
• (1976)
  Rabin, Michael O.
  Complexity of computations
  
  
  Scott, Dana Stewart
  Logic and programming languages
  
  
  
• (1975)
  Newell, Allen
  Computer science as empirical inquiry: symbols and search
  
  
  Simon, Herbert ("Herb") Alexander
  Computer science as empirical inquiry: symbols and search
  
  
  
• (1974)
  Knuth, Donald ("Don") Ervin
  Computer programming as an art
  
  
  
• (1973)
  Bachman, Charles William
  The programmer as navigator
  
  
  
• (1972)
  Dijkstra, Edsger Wybe
  The humble programmer
  
  
  
• (1971)
  McCarthy, John
  Generality in artificial intelligence
  
  
  
• (1970)
  Wilkinson, James Hardy ("Jim")
  Some comments from a numerical analyst
  
  
  
• (1969)
  Minsky, Marvin
  Form and content in computer science
  
  
  
• (1968)
  Hamming, Richard W
  One man's view of computer science
  
  
  
• (1967)
  Wilkes, Maurice V.
  Computers then and now
  
  
  
• (1966)
  Perlis, Alan J
  The synthesis of algorithmic systems
  
  
  

ACM (www.acm.org) is widely recognized as the premier organization for computing professionals, delivering a broad array of resources that advance the computing and IT disciplines, enable professional development, and promote policies and research that benefit society.

© 2019 Association for Computing Machinery. All rights reserved.