Great Papers in Computer Science

26 August 2016

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.

Algorithms and Data Structures

• 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

Programming Languages

• 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.

Architecture

• 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

Numerical and Scientific Computing

• 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

Operating Systems

• 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

Software Methodology and Engineering

• 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

Databases

• 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

Artificial Intelligence and Robotics

• 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

Human-Computer Communications

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

History

• 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

Bonus

• 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

If you need help solving your business problems with software read how to hire me.

---

Join my Newsletter. You can unsubscribe at any time!

---

comments powered by Disqus