Back in SF I found a great volume *Great Papers in Computer Science*.
I got it for $1 at the library. When I lent it out to my friend I immediately
missed it and decided to see if I could recreate it from freely available
sources.

Here it is. As links and a zip file at the end. I find this collection quite fascinating as it traces out important discoveries of our field by the discoverers. It’s pretty much a CS degree in a book.

Some papers I could not find. If you can share an open copy of any of the missing papers please email me.

I found a really good link history-computer.com/Library while munging through the internet. Some copies of Pascal’s letters for example. 🤔

I also included some bonus papers I personally like and people should be aware of.

- The Complexity of Theorem Proving Procedures By Stephen A. Cook
- On the Conceptual Complexity of Algorithms By J. Hartmanis and R. E. Stearns
- Quicksort By C. A. R. Hoare
- Finite Automata and Their Decision Problems By M. O. Rabin and D. Scott

- The FORTRAN Automatic Coding System By J. W. Backus, et al.
- An Axiomatic Basis for Computer Programming By C. A. R. Hoare
- An Axiomatic Definition of the Programming Language Pascal By C. A. R. Hoare and N. Wirth
- The Contour Model of Block Structured Processes By John B. Johnston
- On the Translation of Languages from Left to Right By Donald E. Knuth
- Revised Report on the Algorithmic Language ALGOL 60 By Peter Naur, et al.

- First Draft of a Report on the EFVAC By John von Neumann
- A Symbolic Analysis of Relay and Switching Circuits By Claude E. Shannon
- Alto: A Personal Computer By C. P. Thacker, E. M. McCreight, B. W. Lampson, R. F. Sproull, and D. R Boggs
- The Best Way to Design an Automatic Calculating Machine By M. V. Wilkes

- On Computable Numbers, with an Application to the Entscheidungsproblem By A. M. Turing
- On Computable Numbers, with an Application to the Entscheidungsproblem A Correction By A. M.Turing

- Cooperating Sequential Processes By Edsger W. Dijkstra
- Solution of a Problem in Concurrent Process Control By Edsger W. Dijkstra
- A Formal System for Information Retrieval from Files By David Hsiao and Frank Harary

- No Silver Bullet — Essence and Accidents of Software Engineering By Frederick P. Brooks
- Guarded Commands, Nondeterminancy, and Formal Derivation of Programs By Edsger W. Dijkstra
- Go To Statement Considered Harmful By Edsger W. Dijkstra
- Proof of Correctness of Data Representations By C. A. R. Hoare
- On the Criteria to be Used in Decomposing Systems into Modules By David L. Parnas
- A Rational Design Process: How and Why to Fake It By David L. Parnas and Paul C. Clements
- Global Variables Considered Harmful By W. Wulf and M. Shaw

- The Theory of Joins in Relational Databases By A. V. Aho, C. Beeri, and J. D. Ullman
- Organization and Maintenance of Large Ordered Indexes By R. Bayer and E. Mccreight
- The Entity Relationship Model - Toward A Unified View of Data By Peter Pin-Shan Chen
- A Relational Model of Data for Large Shared Data Banks By E. F. Codd

- Steps Toward Artificial Intelligence By Marvin L. Minsky
- Matter, Mind, and Models By Marvin L. Minsky
- Fusion, Propagation, and Structuring in Belief Networks By Judea Pearl
- Computing Machinery and intelligence By A. M.Turing

- Programming Considered as a Human Activity By Edsger W. Dijkstra

- Programming in America in the 1950s- Some Personal Impressions By John Backus
- The Evolution of Data-Base Management Systems By James P. Fry and Edgar H. Sibley
- The Evolution of the UNIX Time-Sharing System By Dennis M. Ritchie

- A Future-Adaptable Password Scheme
- Dynamo: Amazon’s Highly Available Key-value Store
- Architectural Styles and the Design of Networked-based Software Architectures
- Bitcoin: A Peer-to-Peer Electronic Cash System
- Fundamental Concepts in Programming Languages
- Gradient based learning applied to Document Recognition
- ImageNet Classification with Deep Convolutional Neural Networks
- Making relieable distributed systems in the presence of software errors
- Reflections on Trusting Trust
- A Mathematical Theory of Communication

Great Papers in Computer Science.zip

comments powered by Disqus