Au Year Title Link

Hobbes 1651 Leviathan

Leibniz 1677 Preface to the general science https://books.google.com/books?id=dLQ3bDy2tgYC&pg=PA189&lpg=PA189&dq=leibniz+%22preface+to+the+general+science%22&source=bl&ots=OAmP9tWGzI&sig=uCdYIXRRLE2A9U7cu1X3CotJHr4&hl=en&sa=X&ved=0ahUKEwiTgsumkf_QAhVFSiYKHSTtA3MQ6AEIGjAA#v=onepage&q=leibniz%20%22preface%20to%20the%20general%20science%22&f=fals
Leibniz 1714 The Monadology
Menabrea and Lovelace 1842 A sketch of the analytical engine invented by Charles Babbage https://www.fourmilab.ch/babbage/sketch.html
Boole 1853 An investigation of the laws of thought http://www.eng.auburn.edu/~agrawvd/COURSE/READING/DIGITAL/15114-pdf.pdf
Peirce, C. S. 1887 Logical Machines, Am J. Psych. 1, p. 165
Hilbert 1900 Mathematical problems http://aleph0.clarku.edu/~djoyce/hilbert/problems.html
Scheyer, Emmanuel 1922 When perforated paper goes to work, Sci. Am., 127, p. 395
Turing 1936 On computable numbers, with an application to the Entscheidungsproblemhttps://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
Aiken 1938 Proposed automatic calculating machine http://history-computer.com/Library/AikenProposal.pdf
Shannon 1938 A symbolic analysis of relays and switching circuits https://paradise.caltech.edu/ist4/lectures/shannon38.pdf
McCulloch and Pitts 1943 A logical calculus of the ideas immanent in nervous activity http://www.cse.chalmers.se/~coquand/AUTOMATA/mcp.pdf
Bush 1945 As we may think http://www.theatlantic.com/magazine/archive/1945/07/as-we-may-think/303881/
von Neumann 1945 First draft of a report on the EDVAC http://www.virtualtravelog.net/wp/wp-content/media/2003-08-TheFirstDraft.pdf
Burks, Goldstine, von Neumann 1946 Preliminary discussion of the logical design of an electronic computing instrumenthttps://www.cs.princeton.edu/courses/archive/fall10/cos375/Burks.pdf
Shannon 1948 A mathematical theory of communication http://worrydream.com/refs/Shannon%20-%20A%20Mathematical%20Theory%20of%20Communication.pdf
von Neumann 1948 The general and logical theory of automata https://www.cs.ucf.edu/~dcm/Teaching/COP5611Spring2010/vonNeumannSelfReproducingAutomata.pdf
McCulloch 1949 The brain as a computing machine http://www.univie.ac.at/constructivism/archive/fulltexts/2828.html
Hamming 1950 Error detecting and error correcting codes http://www.signallake.com/signallake.com/innovation/hamming.pdf
Shannon 1950 Programming a computer for playing chess http://vision.unipv.it/IA1/ProgrammingaComputerforPlayingChess.pdf
Turing 1950 Computing Machinery and Intelligence http://www.loebner.net/Prizef/TuringArticle.html
Kleene 1951 Representation of events in nerve nets and finite automata https://www.rand.org/content/dam/rand/pubs/research_memoranda/2008/RM704.pdf
Wilkes 1951 The best way to design an automatic calculating machine https://www.cs.princeton.edu/courses/archive/fall10/cos375/BestWay.pdf
Hopper 1952 The education of a computer http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/document/4640568/
Shannon 1953 Computers and automata http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/stamp/stamp.jsp?tp=&arnumber=4051186
McCarthy, Minsky, Rochester, Shannon 1955 A proposal for the Dartmouth summer institute on artifical intelligence http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/1904/1802
Bardeen 1956 Semiconductor research leading to the point contact transistor https://www.nobelprize.org/nobel_prizes/physics/laureates/1956/bardeen-lecture.pdf
Godel 1956 Letter to von Neumann http://www.cs.cmu.edu/~15251/notes/godel-letter.pdf
Newell and Simon 1956 The logic theory machine http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1056797
Chomsky 1956 Three Models for the Description of Language http://static.stevereads.com/papers_to_read/three_models_for_the_description_of_language.pdf
Backus et al. 1957 The FORTRAN automatic coding system http://archive.computerhistory.org/resources/text/Fortran/102663113.05.01.acc.pdf
Rosenblatt 1958 The perceptron: A probabilistic model for information storage and organization http://ezp-prod1.hul.harvard.edu/login?url=http://search.ebscohost.com/login.aspx?direct=true&db=pdh&AN=1959-09865-001&site=ehost-live&scope=site
in the brain
Rabin and Scott 1959 Finite automata and their decision problems http://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf
Licklider 1960 Man-Computer Symbiosis http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf
Baran 1960 Reliable digital communications systems utilizing unreliable network repeater https://www.rand.org/content/dam/rand/pubs/papers/2008/P1995.pdf
nodes
McCarthy 1960 Recursive functions of symbolic expressions and their computation by machine, https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf
Part I
Corbato, Daggett, Daley 1962 An experimental time-sharing system http://larch-www.lcs.mit.edu:8001/~corbato/sjcc62/
Engelbart 1962 Augmenting human intellect http://www.1962paper.org/web.html
Gale & Shapley 1962 College admissions and the stability of marriage http://cramton.umd.edu/market-design/gale-shapley-college-admissions.pdf
Hoare 1962 Quicksort https://comjnl.oxfordjournals.org/content/5/1/10.full.pdf
Kilburn et al. 1962 One-level storage system http://www.chilton-computing.org.uk/acl/pdfs/atlas-1-level.pdf
Warshall 1962 A theorem on boolean matrices http://bioinfo.ict.ac.cn/~dbu/AlgorithmCourses/Lectures/Warshall1962.pdf
Hartmanis and Stearns 1963 On the computational complexity of algorithms http://fi.ort.edu.uy/innovaportal/file/20124/1/60-hartmanis_stearns_complexity_of_algorithms.pdf
Naur 1963 Revised report on the algorithmic language ALGOL 60 http://web.eecs.umich.edu/~bchandra/courses/papers/Naure_Algol60.pdf
Sutherland 1963 Sketchpad, a man-machine communication system https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-574.pdf
Amdahl et al. 1964 Architecture of the IBM System/360 http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/stamp/stamp.jsp?tp=&arnumber=5389178
Baran 1964 On distributed communications http://www.rand.org/content/dam/rand/pubs/research_memoranda/2006/RM3420.pdf
Kilby 1964 Miniaturized electronic circuits https://www.google.com/patents/US3138743
Edmonds 1965 Paths, trees, and flowers http://math.nist.gov/~JBernal/p_t_f.pdf
Cooley and Tukey 1965 An algorithm for the machine calculation of complex Fourier seris
Knuth 1965 On the translation of languages from left to right https://www.dc.uba.ar/materias/tl/2010/c2/files/Knuth-1965-TranslationofLanguages.pdf
Moore 1965 Cramming more components onto integrated circuits http://web.eng.fiu.edu/npala/eee6397ex/gordon_moore_1965_article.pdf
Sutherland 1965 The ultimate display http://worrydream.com/refs/Sutherland%20-%20The%20Ultimate%20Display.pdf
Wilkes 1965 Slave memories and dynamic storage allocation https://www.cs.princeton.edu/courses/archive/fall10/cos375/WilkesCacheElectronics.pdf
Forsythe 1966 How do you solve a quadratic equation? http://i.stanford.edu/pub/cstr/reports/cs/tr/66/40/CS-TR-66-40.pdf
Weizenbaum 1966 ELIZA -- A computer program for the study of natural langauage communication http://web.stanford.edu/class/linguist238/p36-weizenabaum.pdf
between man and machine
Blum 1967 A machine-independent theory of the complexity of recursive functions http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=321395&CFID=881275590&CFTOKEN=57797048
Dijkstra 1967 The structure of the "THE" multiprogramming system http://www.cs.virginia.edu/~zaher/classes/CS656/p341-dijkstra.pdf
Floyd, R. 1967 Assigning meanings to programs https://classes.soe.ucsc.edu/cmps290g/Fall09/Papers/AssigningMeanings1967.pdf
Tomasuolo 1967 An efficient algorithm for exploiting multiple arithmetic units http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.129.4915&rep=rep1&type=pdf
Daley and Dennis 1968 Virtual memory, processes, and sharing in MULTICS http://www.cs.virginia.edu/~zaher/classes/CS656/p306-daley.pdf
Denning, P. 1968 The working set model for program behavior http://www.liralab.it/teaching/OS/files/p323-denning.pdf
Dijkstra 1968 Go To Statement considered harmful http://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf
Englebart 1968 FJCC "The mother of all demos" http://web.stanford.edu/dept/SUL/library/extra4/sloan/mousesite/1968Demo
Myer & Sutherland 1968 On the design of display processors http://cva.stanford.edu/classes/cs99s/papers/myer-sutherland-design-of-display-processors.pdf
Hoare 1969 An axiomatic basis for computer programming https://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf
Strassen 1969 Gaussian Elimination is not Optimal http://dl.acm.org/citation.cfm?id=2722798
Codd 1970 A reltional model for large shared data banks https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf
Earley 1970 An efficient context-free parsing algorithm http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.1808&rank=1
Engelbart 1970 Intellectual implications of multi-access computer networks http://www.dougengelbart.org/pubs/augment-5255.html
Licklider and Taylor 1970 The computer as a communication device http://memex.org/licklider.pdf
McCarthy 1970 The home information terminal http://www-formal.stanford.edu/jmc/hoter2.pdf
Scott 1970 Outline of a mathematical theory of computation https://www.cs.ox.ac.uk/files/3222/PRG02.pdf
Cook 1971 The complexity of theorem-proving procedures https://www.cs.toronto.edu/~sacook/homepage/1971.pdf
Scott and Strachey 1971 Toward a mathematical semantics of programming languages https://www.cs.ox.ac.uk/files/3228/PRG06.pdf
Bayer and McCreight 1972 Organization and maintenance of large ordered indexes http://www.minet.uni-jena.de/dbis/lehre/ws2005/dbs1/Bayer_hist.pdf
Brand 1972 SPACEWAR: Fanatic life and symbolic death among the computer bums http://www.wheels.org/spacewar/stone/rolling_stone.html
Codd 1972 Relational completeness of data base sublanguages http://www.geology.cz/personal/j/jan.sedlacek/codd2.pdf
Karp 1972 Reducibility among combinatorial problems http://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf
Kay 1972 A personal computer for children of all ages http://mprove.de/diplom/gui/kay72.html
Spärck Jones 1972 A statistical interpretation of term specificity and its application in retrieval https://ai2-s2-pdfs.s3.amazonaws.com/4f09/e6ec1b7d4390d23881852fd7240994abeb58.pdf
Blum, Floyd, Pratt, Rivest, Tarjan 1973 Time bounds for selection https://people.csail.mit.edu/rivest/pubs/BFPRT73.pdf
Levin 1973 Universal search problems https://rjlipton.wordpress.com/2011/03/14/levins-great-discoveries/
Catmull 1974 A subdivision algorithm for display of curved surfaces http://static1.1.sqspcdn.com/static/f/552576/6419248/1270507173137/catmull_thesis.pdf?token=HytCG9faeSevSXpD01dUP2bsvoU%3D
Cerf and Kahn 1974 A protocol for packet network intercommunication https://www.cs.princeton.edu/courses/archive/fall06/cos561/papers/cerf74.pdf
Liskov and Zilles 1974 Programming with abstract data types http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.3043&rep=rep1&type=pdf
Ritchie and Thompson 1974 The UNIX time-sharing system https://people.eecs.berkeley.edu/~brewer/cs262/unix.pdf
Brooks 1975 The Mythical Man-Month https://archive.org/details/mythicalmanmonth00fred
DoD 1975 Strawman requirements http://www.iment.com/maida/computer/requirements/strawman.htm
Gray, Lorie, Putzolu 1975 Granularity of locks in a shared data base http://pages.cs.wisc.edu/~nil/764/Trans/13_P428.pdf
Salton, Wong, Yang 1975 A vector space model for automatic indexing http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=361220&CFID=877975772&CFTOKEN=67457347
Allen and Cocke 1976 A program data flow analysis procedure http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=360025&CFID=715263129&CFTOKEN=57524138
Denning, D. 1976 A lattice model of secure information flow https://pdfs.semanticscholar.org/5f2b/22b77559ddb4f3734459d1ff66c58d22df12.pdf
Diffie&Hellman 1976 New Directions in Cryptography https://www-ee.stanford.edu/~hellman/publications/24.pdf
Metcalfe and Boggs 1976 Ethernet: Distributed Packet switching for local computer networks http://www.cs.cmu.edu/~srini/15-744/papers/MB76.pdf
Kay and Goldberg 1977 Personal dynamic media http://www.newmediareader.com/book_samples/nmr-26-kay.pdf
Liskov et al. 1977 Abstraction mechanisms in CLU https://www.cs.virginia.edu/~weimer/615/reading/liskov-clu-abstraction.pdf
Milner 1977 A theory of type polymorphism in programming http://ac.els-cdn.com.ezp-prod1.hul.harvard.edu/0022000078900144/1-s2.0-0022000078900144-main.pdf?_tid=c72262be-b36d-11e6-bfcb-00000aacb35e&acdnat=1480119655_4e40fb11aebc22bb1a1654bb2034060e
Newell and Blinn 1977 The progression of realism in computer generated images https://pdfs.semanticscholar.org/a1fb/09ff51242a245572c6247d17ee93afa7e3da.pdf
Aho Kernighan and Weinberger 1978 Awk — A Pattern Scanning and Processing Language http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.31.1299&rep=rep1&type=pdf
Lamport 1978 Time, clocks, and the ordering of events in a distributed system http://amturing.acm.org/p558-lamport.pdf
Hoare 1978 Communicating sequential processes http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=359576&CFID=926343961&CFTOKEN=21791095
Rivest, Shamir, Adleman 1978 A method for obtaining digital signatures and public-key cryptosystems http://people.csail.mit.edu/rivest/Rsapaper.pdf
Russell 1978 The Cray-1 computer system https://www.cs.auckland.ac.nz/courses/compsci703s1c/archive/2008/resources/Russell.pdf
Carter and Wegman 1979 Universal classes of hash functions https://www.cs.princeton.edu/courses/archive/fall09/cos521/Handouts/universalclasses.pdf
Demillo, Lipton, Perlis 1979 Social processes and proofs of theorems and programs https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf
Thacker, McCreight, Lampson, Sproull, Boggs 1979 Alto: A personal computer http://research.microsoft.com/en-us/um/people/blampson/25-Alto/25-Alto.pdf
Searle 1980 Minds, Brains, and Programs http://cogprints.org/7150/1/10.1.1.83.5248.pdf
Witted 1980 An improved illumination model for shaded display https://pdfs.semanticscholar.org/b1d7/6a254801a09916479659160fd839c905ae87.pdf
Block 1981 Psychologism and Behaviorism http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.5828
Saltzer, Reed, Clark 1981 End to end arguments in system design http://fab.cba.mit.edu/classes/S62.12/docs/Saltzer_system.pdf
Hoare 1981 The emperor's old clothes http://zoo.cs.yale.edu/classes/cs422/2014/bib/hoare81emperor.pdf
Damas and Milner 1982 Principal type-schemes for functional languages http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5233
Knuth 1982 Literate programming http://www.literateprogramming.com/knuthweb.pdf
Naur 1982 Formalization in program development http://download.springer.com.ezp-prod1.hul.harvard.edu/static/pdf/99/art%253A10.1007%252FBF01934408.pdf?originUrl=http%3A%2F%2Flink.springer.com%2Farticle%2F10.1007%2FBF01934408&token2=exp=1480131702~acl=%2Fstatic%2Fpdf%2F99%2Fart%25253A10.1007%25252FBF01934408.pdf%3ForiginUrl%3Dhttp%253A%252F%252Flink.springer.
Sutherland 1982 Technology and courage http://vlsicad.ucsd.edu/Research/Advice/technologyAndCourage.pdf
Goodman 1983 Using cache memory to reduce processor-memory traffic http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.436.5134&rep=rep1&type=pdf
Lampson 1983 Hints for computer system design http://research.microsoft.com/en-us/um/people/blampson/33-Hints/WebPage.html
Goldwasser and Micali 1984 Probabilistic encryption http://ac.els-cdn.com.ezp-prod1.hul.harvard.edu/0022000084900709/1-s2.0-0022000084900709-main.pdf?_tid=4667038e-b370-11e6-acb2-00000aacb35d&acdnat=1480120728_a36a045f8cf14ee061c5ca9d559685b2
Thompson 1984 Reflections on trusting trust https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf
Valiant 1984 A theory of the learnable https://people.mpi-inf.mpg.de/~mehlhorn/SeminarEvolvability/ValiantLearnable.pdf
Goldwasser, Micali, Rackoff 1985 The knowledge complexity of interactive proof systems https://groups.csail.mit.edu/cis/pubs/shafi/1985-stoc.pdf
Shieber 1985 Evidence against the context-freeness of natural languages https://www.eecs.harvard.edu/shieber/Biblio/Papers/shieber85.pdf
Kajiya 1986 The rendering equation http://www.dca.fee.unicamp.br/~leopini/DISCIPLINAS/IA725/ia725-12010/kajiya-SIG86-p143.pdf
Rumelhart, Hinton, & WIlliams 1986 Learning representations by back-propagating errors http://www.nature.com.ezp-prod1.hul.harvard.edu/nature/journal/v323/n6088/index.html
Brooks 1986 No silver bullet http://worrydream.com/refs/Brooks-NoSilverBullet.pdf
Liskov 1987 Data abstraction and hierarchy http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.12.819&rep=rep1&type=pdf
Lorensen and Cline 1987 Marching cubes: A high resolution 3D surface construction algorithm http://academy.cba.mit.edu/classes/scanning_printing/MarchingCubes.pdf
Brooks 1988 The computer scientist as toolsmith http://cs.unc.edu/xcms/wpfiles/toolsmith/The_Computer_Scientist_as_Toolsmith.pdf
Clark 1988 The design philosophy of the DARPA Internet protocols http://www.cs.princeton.edu/~jrex/teaching/spring2005/reading/clark88.pdf
Jacobson and Karels 1988 Congestion avoidance and control http://ee.lbl.gov/papers/congavoid.pdf
Patterson et al. 1988 A case for redundant arrays of inexpensive disks (RAID) https://www.cs.cmu.edu/~garth/RAIDpaper/Patterson88.pdf
Berners-Lee 1989 Information management: a proposal http://faculty.georgetown.edu/irvinem/theory/Berners-Lee-HTTP-proposal.pdf
Birrell 1989 An introduction to programming with threads https://birrell.org/andrew/papers/035-Threads.pdf
Burrows, Abadi, Needham 1989 A logic of authentication http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-39.pdf
Gabriel 1990 The rise of "Worse is better" https://www.jwz.org/doc/worse-is-better.html
Berners-Lee et al. 1992 World-wide web: The information universe http://www.emeraldgrouppublishing.com/products/backfiles/pdf/backfiles_sample_5.pdf
Lampson et al. 1992 Authentication in distributed systems http://research.microsoft.com/en-us/um/people/blampson/45-AuthenticationTheoryAndPractice/WebPage.html
Anderson 1993 Why cryptosystems fail http://www.cl.cam.ac.uk/~rja14/Papers/wcf.pdf
Floyd, S. and Jacobson 1993 Random early detection gateways for congestion avoidance http://www.icir.org/floyd/papers/early.twocolumn.pdf
Leveson 1993 An investigation of the Therac-25 accidents https://www.cs.umd.edu/class/spring2003/cmsc838p/Misc/therac.pdf
Floyd, S. 1994 TCP and explicit congestion notification https://cseweb.ucsd.edu/classes/wi01/cse222/papers/floyd-ecn-ccr94.pdf
Liskov and Wing 1994 A behavioral notion of subtyping http://csnell.net/computerscience/Liskov_subtypes.pdf
Brooks 1996 The computer scientist as toolsmith II http://www.cs.unc.edu/~brooks/Toolsmith-CACM.pdf
Olukotun et al. 1996 The case for a single-chip multiprocessor http://arsenalfc.stanford.edu/papers/hydra_ASPLOS_VII.pdf
Brin and Page 1998 The anatomy of a large-scale hypertextual web search engine http://infolab.stanford.edu/~backrub/google.html
Page, Brin, Motwani, Winograd 1998 The PageRank citation ranking: Bringing order to the Web http://ilpubs.stanford.edu:8090/422/1/1999-66.pdf
Steele 1998 Growing a language https://www.cs.virginia.edu/~evans/cs655/readings/steele.pdf
Estrin et al. 1999 Next century challenges: Scalable coordination in sensor networks http://www.isi.edu/~johnh/PAPERS/Estrin99e.pdf
Clarke et al 2001 Freenet http://lsirwww.epfl.ch/courses/dis/2003ws/papers/clarke00freenet.pdf
Dean and Ghemawat 2004 MapReduce: Simplifed data processing on large clusters https://static.googleusercontent.com/media/research.google.com/en//archive/mapreduce-osdi04.pdf
Dwork 2006 Differential privacy http://link.springer.com.ezp-prod1.hul.harvard.edu/chapter/10.1007/11787006_1
Gefter 2016 The man who tried to redeem the world with logic http://nautil.us/issue/21/information/the-man-who-tried-to-redeem-the-world-with-logic