Classics of CS
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

View only
 
ABCDEFGIJKLMNOPQRSTUVWXYZAAAB
1
AuYearTitle
Notes
Open linkHarvard link
2
Hobbes1651Leviathanhttps://books.google.com/books?id=2oc6AAAAMAAJ
3
Leibniz1677Preface to the general sciencehttps://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=false
4
Leibniz1714The Monadologyhttps://books.google.com/books?id=s0PXAAAAMAAJ
5
Menabrea and Lovelace1842
A sketch of the analytical engine invented by Charles Babbage
https://www.fourmilab.ch/babbage/sketch.html
6
Boole1853An investigation of the laws of thoughthttp://www.eng.auburn.edu/~agrawvd/COURSE/READING/DIGITAL/15114-pdf.pdf
7
Peirce, C. S. 1887Logical Machines, Am J. Psych. 1, p. 165https://books.google.com/books?id=b8MwWI1ClGIC&pg=PR35
8
Hilbert1900Mathematical problemshttp://aleph0.clarku.edu/~djoyce/hilbert/problems.html
9
Scheyer, Emmanuel 1922When perforated paper goes to work, Sci. Am., 127, p. 395https://zenodo.org/record/2148877/files/article.pdf?download=1https://www.jstor.org/stable/24994166
10
Turing1936
On computable numbers, with an application to the Entscheidungsproblem
https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
11
Aiken1938Proposed automatic calculating machinehttp://history-computer.com/Library/AikenProposal.pdf
12
Shannon1938A symbolic analysis of relays and switching circuitshttps://paradise.caltech.edu/ist4/lectures/shannon38.pdf
13
McCulloch and Pitts1943A logical calculus of the ideas immanent in nervous activityhttp://www.cse.chalmers.se/~coquand/AUTOMATA/mcp.pdf
14
Bush1945As we may thinkhttp://www.theatlantic.com/magazine/archive/1945/07/as-we-may-think/303881/
15
von Neumann1945First draft of a report on the EDVAC
http://www.science.smith.edu/dftwiki/images/f/f8/VonNewmannEdvac.pdf
16
Burks, Goldstine, von Neumann
1946
Preliminary discussion of the logical design of an electronic computing instrument
https://www.cs.princeton.edu/courses/archive/fall10/cos375/Burks.pdf
17
Shannon1948A mathematical theory of communicationhttp://worrydream.com/refs/Shannon%20-%20A%20Mathematical%20Theory%20of%20Communication.pdf
18
von Neumann1948The general and logical theory of automatahttps://www.cs.ucf.edu/~dcm/Teaching/COP5611Spring2010/vonNeumannSelfReproducingAutomata.pdf
19
McCulloch1949The brain as a computing machine
https://cepa.info/?download=2828
http://doi.org/10.1109/EE.1949.6444817
20
Hamming1950Error detecting and error correcting codes
https://signallake.com/innovation/hamming.pdf
21
Shannon1950Programming a computer for playing chesshttp://vision.unipv.it/IA1/ProgrammingaComputerforPlayingChess.pdf
22
Turing1950Computing Machinery and Intelligencehttp://www.loebner.net/Prizef/TuringArticle.html
23
Kleene1951Representation of events in nerve nets and finite automatahttps://www.rand.org/content/dam/rand/pubs/research_memoranda/2008/RM704.pdf
24
Wilkes1951The best way to design an automatic calculating machinehttps://www.cs.princeton.edu/courses/archive/fall10/cos375/BestWay.pdf
25
Hopper1952The education of a computerhttps://doi.org/10.1109/MAHC.1987.10032http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/document/4640568/
26
Shannon1953Computers and automatahttps://doi.org/10.1109/JRPROC.1953.274273http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/stamp/stamp.jsp?tp=&arnumber=4051186
27
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
28
Bardeen1956
Semiconductor research leading to the point contact transistor
https://www.nobelprize.org/uploads/2018/06/bardeen-lecture.pdf
29
Godel1956Letter to von Neumannhttp://www.cs.cmu.edu/~15251/notes/godel-letter.pdf
30
Newell and Simon1956The logic theory machinehttps://doi.org/10.1109/TIT.1956.1056797http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1056797
31
Chomsky1956Three Models for the Description of Languagehttp://static.stevereads.com/papers_to_read/three_models_for_the_description_of_language.pdf
32
Backus et al.1957The FORTRAN automatic coding systemhttps://archive.computerhistory.org/resources/text/Fortran/102663113.05.01.acc.pdf
33
Rosenblatt1958
The perceptron: A probabilistic model for information storage and organization in the brain
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.335.3398&rep=rep1&type=pdf
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
34
Rabin and Scott1959Finite automata and their decision problemshttp://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf
35
Licklider1960Man-Computer Symbiosishttp://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf
36
Baran1960
Reliable digital communications systems utilizing unreliable network repeater nodes
https://www.rand.org/content/dam/rand/pubs/papers/2008/P1995.pdf
37
McCarthy1960
Recursive functions of symbolic expressions and their computation by machine, Part I
https://aiplaybook.a16z.com/reference-material/mccarthy-1960.pdf
38
Corbato, Daggett, Daley1962An experimental time-sharing systemhttp://larch-www.lcs.mit.edu:8001/~corbato/sjcc62/
39
Engelbart1962Augmenting human intellecthttp://www.1962paper.org/web.html
40
Gale & Shapley1962College admissions and the stability of marriagehttp://cramton.umd.edu/market-design/gale-shapley-college-admissions.pdf
41
Hoare1962Quicksorthttps://comjnl.oxfordjournals.org/content/5/1/10.full.pdf
42
Kilburn et al.1962One-level storage systemhttp://www.chilton-computing.org.uk/acl/pdfs/atlas-1-level.pdf
43
Warshall1962A theorem on boolean matriceshttp://bioinfo.ict.ac.cn/~dbu/AlgorithmCourses/Lectures/Warshall1962.pdf
44
Hartmanis and Stearns1963On the computational complexity of algorithmshttp://fi.ort.edu.uy/innovaportal/file/20124/1/60-hartmanis_stearns_complexity_of_algorithms.pdf
45
Naur1963Revised report on the algorithmic language ALGOL 60http://web.eecs.umich.edu/~bchandra/courses/papers/Naure_Algol60.pdf
46
Sutherland1963Sketchpad, a man-machine communication systemhttps://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-574.pdf
47
Amdahl et al.1964Architecture of the IBM System/360https://doi.org/10.1147/rd.82.0087http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/stamp/stamp.jsp?tp=&arnumber=5389178
48
Baran1964On distributed communicationshttp://www.rand.org/content/dam/rand/pubs/research_memoranda/2006/RM3420.pdf
49
Kilby1964Miniaturized electronic circuitshttps://www.google.com/patents/US3138743
50
Edmonds1965Paths, trees, and flowershttp://math.nist.gov/~JBernal/p_t_f.pdf
51
Cooley and Tukey1965
An algorithm for the machine calculation of complex Fourier series
http://www.ams.org/journals/mcom/1965-19-090/S0025-5718-1965-0178586-1/S0025-5718-1965-0178586-1.pdf
https://www.ams.org/journals/mcom/1965-19-090/S0025-5718-1965-0178586-1/S0025-5718-1965-0178586-1.pdf
52
Knuth1965On the translation of languages from left to right
https://www.sciencedirect.com/science/article/pii/S0019995865904262
53
Moore1965Cramming more components onto integrated circuits
https://newsroom.intel.com/wp-content/uploads/sites/11/201/05/moores-law-electronics.pdf
54
Sutherland1965The ultimate displayhttp://worrydream.com/refs/Sutherland%20-%20The%20Ultimate%20Display.pdf
55
Wilkes1965Slave memories and dynamic storage allocationhttps://www.cs.princeton.edu/courses/archive/fall10/cos375/WilkesCacheElectronics.pdf
56
Forsythe1966How do you solve a quadratic equation?http://i.stanford.edu/pub/cstr/reports/cs/tr/66/40/CS-TR-66-40.pdf
57
Weizenbaum1966
ELIZA -- A computer program for the study of natural langauage communication between man and machine
http://web.stanford.edu/class/linguist238/p36-weizenabaum.pdf
58
Blum1967
A machine-independent theory of the complexity of recursive functions
https://doi.org/10.1145/321386.321395http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=321395&CFID=881275590&CFTOKEN=57797048
59
Dijkstra1967The structure of the "THE" multiprogramming system
https://klevas.mif.vu.lt/~liutauras/books/Dijkstra%20-%20The%20structure%20of%20the%20THE%20multiprogramming%20system.pdf
60
Floyd, R.1967Assigning meanings to programs
http://www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf
61
Tomasuolo1967An efficient algorithm for exploiting multiple arithmetic unitshttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.129.4915&rep=rep1&type=pdf
62
Daley and Dennis1968Virtual memory, processes, and sharing in MULTICS
http://www.cs.utexas.edu/users/dahlin/Classes/GradOS/papers/p306-daley.pdf
63
Denning, P.1968The working set model for program behaviorhttp://www.liralab.it/teaching/OS/files/p323-denning.pdf
64
Dijkstra1968Go To Statement considered harmfulhttp://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf
65
Englebart1968FJCC "The mother of all demos"http://web.stanford.edu/dept/SUL/library/extra4/sloan/mousesite/1968Demo
66
Myer & Sutherland1968On the design of display processorshttp://cva.stanford.edu/classes/cs99s/papers/myer-sutherland-design-of-display-processors.pdf
67
Hoare1969An axiomatic basis for computer programminghttps://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf
68
Strassen1969Gaussian Elimination is not Optimalhttps://doi.org/10.1007/BF02165411http://dl.acm.org/citation.cfm?id=2722798
69
Codd1970A reltional model for large shared data bankshttps://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf
70
Earley1970An efficient context-free parsing algorithmhttp://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.1808&rank=1
71
Engelbart1970Intellectual implications of multi-access computer networkshttp://www.dougengelbart.org/pubs/augment-5255.html
72
Licklider and Taylor1970The computer as a communication devicehttp://memex.org/licklider.pdf
73
McCarthy1970The home information terminalhttp://www-formal.stanford.edu/jmc/hoter2.pdf
74
Scott1970Outline of a mathematical theory of computationhttps://www.cs.ox.ac.uk/files/3222/PRG02.pdf
75
Cook1971The complexity of theorem-proving procedureshttps://www.cs.toronto.edu/~sacook/homepage/1971.pdf
76
Scott and Strachey1971
Toward a mathematical semantics of programming languages
https://www.cs.ox.ac.uk/files/3228/PRG06.pdf
77
Bayer and McCreight1972Organization and maintenance of large ordered indexes
http://mathcs.pugetsound.edu/~dchiu/teaching/archive/CS455sp15/papers/btree.pdf
78
Brand1972
SPACEWAR: Fanatic life and symbolic death among the computer bums
http://www.wheels.org/spacewar/stone/rolling_stone.html
79
Codd1972Relational completeness of data base sublanguageshttp://www.geology.cz/personal/j/jan.sedlacek/codd2.pdf
80
Karp1972Reducibility among combinatorial problemshttp://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf
81
Kay1972A personal computer for children of all ageshttp://mprove.de/diplom/gui/kay72.html
82
Spärck Jones1972
A statistical interpretation of term specificity and its application in retrieval
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.115.8343&rep=rep1&type=pdf
83
Blum, Floyd, Pratt, Rivest, Tarjan
1973Time bounds for selectionhttps://people.csail.mit.edu/rivest/pubs/BFPRT73.pdf
84
Levin1973Universal search problemshttps://rjlipton.wordpress.com/2011/03/14/levins-great-discoveries/
85
Catmull1974A subdivision algorithm for display of curved surfaceshttp://static1.1.sqspcdn.com/static/f/552576/6419248/1270507173137/catmull_thesis.pdf?token=HytCG9faeSevSXpD01dUP2bsvoU%3D
86
Cerf and Kahn1974A protocol for packet network intercommunicationhttps://apps.dtic.mil/dtic/tr/fulltext/u2/a634240.pdf
87
Liskov and Zilles1974Programming with abstract data typeshttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.3043&rep=rep1&type=pdf
88
Ritchie and Thompson1974The UNIX time-sharing systemhttps://people.eecs.berkeley.edu/~brewer/cs262/unix.pdf
89
Brooks1975The Mythical Man-Monthhttps://archive.org/details/mythicalmanmonth00fred
90
DoD1975Strawman requirementshttp://www.iment.com/maida/computer/requirements/strawman.htm
91
Gray, Lorie, Putzolu1975Granularity of locks in a shared data basehttp://pages.cs.wisc.edu/~nil/764/Trans/13_P428.pdf
92
Salton, Wong, Yang1975A vector space model for automatic indexinghttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.446.5101&rep=rep1&type=pdfhttp://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=361220&CFID=877975772&CFTOKEN=67457347
93
Allen and Cocke1976A program data flow analysis procedurehttps://amturing.acm.org/p137-allen.pdfhttp://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=360025&CFID=715263129&CFTOKEN=57524138
94
Denning, D.1976A lattice model of secure information flowhttps://pdfs.semanticscholar.org/5f2b/22b77559ddb4f3734459d1ff66c58d22df12.pdf
95
Diffie&Hellman1976New Directions in Cryptographyhttps://www-ee.stanford.edu/~hellman/publications/24.pdf
96
Metcalfe and Boggs1976
Ethernet: Distributed Packet switching for local computer networks
http://www.cs.cmu.edu/~srini/15-744/papers/MB76.pdf
97
Kay and Goldberg1977Personal dynamic mediahttp://www.newmediareader.com/book_samples/nmr-26-kay.pdf
98
Liskov et al.1977Abstraction mechanisms in CLU
https://web.eecs.umich.edu/~weimerw/2008-615/reading/liskov-clu-abstraction.pdf
http://csg.csail.mit.edu/pubs/memos/Memo-144/Memo-144.pdf
99
Milner1977A theory of type polymorphism in programminghttp://web.cs.wpi.edu/~cs4536/c12/milner-type-poly.pdfhttp://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
100
Newell and Blinn1977The progression of realism in computer generated imageshttps://pdfs.semanticscholar.org/a1fb/09ff51242a245572c6247d17ee93afa7e3da.pdf
Loading...