(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
(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
(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 Jay The synthesis of algorithmic systems
No comments:
Post a Comment