SCS HISTORY BOOK

SCS History Book: Computer Science Reviews

"At Carnegie, everything was always very simple. We never really came across groups that were hostile to the computer or reluctant to apply it. Everybody at Carnegie accepted the value of a computer in their work. The only differences between one group and another was the rate at which the computer was applied in their work, or the excellence with which it was applied, or the insight that they showed in the use of the computer. But there was never hostility.

I've taken it for granted that computing is central and valuable and that its impact is going to continue grow. I've taken that for granted. I haven't had to sell anybody that idea."

--An Interview with Alan J. Perlis, 1977


Computer Science Research Reviews 1966-1990: Tables of Contents

1966

Introduction
Anonymous

Managing a Computation Center
David H. Nickerson

On the Representations of Problems
Allen Newell

The Synthesis of Algorithmic Systems
Alan J. Perlis

Reflections on Time Sharing from a User's Point of View
Herbert Simon

Generality in Computer Design
Jesse T. Quatse


1967

Introduction
Allen Newell

What is Computer Science?
Allen Newell, Alan J. Perlis, Herbert Simon

On Formula Algol and The Evolution of Programming Languages
Tim Standish

The Verifying Compiler
Robert W. Floyd

Structural Properties of the Nevada Cattlebrands
W. C. Watt

Eye Movements and Problem Solving
Allen Newell


1968

Introduction
Allen Newell

The Design of a Computer Science Course
Alan Bond

Theories of Computational Complexity
Albert R. Meyer

On Operating Computer Systems and Simulation Systems
David L. Parnas

Designing the Language of a Computer
Frederick M. Haney

The Correctness Problem of Computer Programs
Zohar Manna


1969

Introduction
Allen Newell

A New Program of Graduate Education in Computer Science
Alan Perlis, Allen Newell

LC^2
James Mitchell

Computer Networks
C. Gordon Bell, Arie Habermann, John McCredie, Ronald Rutledge, William Wulf

PMS and ISP
C. Gordon Bell, Allen Newell


1970-71

Introduction
Allen Newell

A Brief Primer on Resolution Proof Procedures
Donald W. Loveland

Control Structures
David A. Fisher

BLISS: A Language for Programming Systems
William A. Wulf

The Kernel Approach to Building Software Systems
Allen Newell, Peter Freeman, Donald McCracken, George Robertson


1971-72

Introduction
Joseph F. Traub

A Mechanistic Model of Speech Perception
D. Raj Reddy, Lee D. Erman, Richard B. Neely

Numerical Mathematics and Computer Science
Joseph F. Traub

On the Problem of Producing Well Structured Programs
David L. Parnas

C.mmp: A Multi-Mini-Processor
William A. Wulf


1972-73

Introduction
Joseph F. Traub

Design Augmentation
Charles M. Eastman

On the Scheduling Aspects of Timing Concurrent Processes
A. Nico Habermann

Some Practical Uses for Analytical Models in the Study of Computing Systems
John W. McCredie

Lessons from Perception for Chess-Playing Programs
Herbert A. Simon


1973-74

Introduction
Joseph F. Traub

On Doing Software Experiments
George Robertson, Allen Newell, Donald McCracken

The Immigration Course in Computer Science
Mary Shaw

Register Allocation in Bliss/11
Richard K. Johnsson, William A. Wulf


1974-75

Introduction
Joseph F. Traub

Bounds on the Speed-Up of Parallel Evaluation of Recurrences
Laurent Hyafil, H.T. Kung

Overview of the Hearsay Speech Understanding Research
Lee D. Erman

Strict Lower and Upper Bounds on Iterative Computational Complexity
Joseph F. Traub, Henryk Wozniakowski

The CMU RT-CAD System: An Innovative Approach to
Computer Aided Design
Mario R. Barbacci, Daniel P. Siewiorek


1975-76

Introduction
Joseph F. Traub

Achieving Quality Software: Reflections on the Aims and
Objectives of Aphard
William A. Wulf, Mary Shaw, Ralph L. London

The Narrowing Gap Between Language Systems and Operating Systems
Anita K. Jones

The Structure and Architecture of Cm*: A Modular,
Multi-Microprocessor
Richard J. Swan, Samuel H. Fuller, Daniel P. Siewiorek


1976-77

Introduction
Joseph F. Traub

Fairytales
Allen Newell

Automated Theory Formation in Mathematics
Douglas B. Lenat

Multi-System Approach to Speech Understanding
Raj Reddy


1977-78

Introduction
William A. Wulf

Multidimensional Divide-and-Conquer
Jon Louis Bentley

Language Implementation on Multiprocessor Computer Systems
Peter G. Hibbard

Algorithms for VLSI Processor Arrays
H.T. Kung and Charles E. Leiserson


1978-79

Introduction
A. Nico Habermann

CSD Backgammon Program Beats World Champ
Hans Berliner

The Gandalf Research Project
A. Nico Habermann

System Facilities for CAD Databases
Charles M. Eastman

Abstraction and Efficiency: The Interaction of Languages and Analysis
Jon Louis Bentley, Mary Shaw


1979-80

Introduction
A. N. Habermann

The POLITICS Project: Subjective Reasoning in a Multi-Actor Planning Domain
Jaime G. Carbonell

An Approach to Debugging Custom Integrated Circuits
Edward H. Frank, Robert F. Sproull

Computers with Natural Communication Skills
Phil Hayes, Eugene Ball, Raj Reddy

Distributed Computer Systems
E. Douglas Jensen

Lessons for AI from Human Problem Solving
Herbert A. Simon


1980-81

Introduction
Nico Habermann

The Spice Project
J. Eugene Ball, Mario R. Barbacci, Scott E. Fahlman, Samuel P. Harbison, Peter G. Hibbard,
Richard F. Rashid, George G. Robertson, Guy L. Steele, Jr.

A Design Methodology and Computer Aids for Digital VLSI Systems
Steve W. Director, Alice C. Parker, Daniel P. Siewiorek, Donald P. Thomas

Front End Generator System
John R. Nestor, Margaret A. Beard

ZOG and the USS Carl Vinson
Allen Newell, Donald L. McCracken, George G. Robertson, Robert M. Akscyn


1981-85

Reviews Discontinued


1986-87

Introduction
A. Nico Habermann

Optimistic Concurrency Control for Abstract Data Types
Maurice Herlihy

Recent Advances in the Theory of Feasible Computation: Circuit Complexity
Merrick Furst

The Warp Computer: A Cost-Effective Solution to Supercomputing
H.T. Kung

Symptom-Directed Diagnosis of Distributed Computing Systems
Roy A. Maxion, Daniel P. Siewiorek

The Design and Verification of Finite State Hardware Controllers
Edmund M. Clarke, Soumitra Bose, Michael C. Browne, Orna Grumberg

The Universal Parser Architecture for Knowledge-Based Machine Translation
Masaru Tomita, Jaime G. Carbonell


1987-88

Introduction
Nico Habermann

Efficient Knowledge Representation Systems
Dario Giuse

Music Understanding
Roger B. Dannenberg

Avalon: Language Support for Reliable Distributed Systems
Maurice P. Herlihy, Jeannette M. Wing

Performance Modeling and Calibration for Parallel Systems with Distributed Memory
Dalibor Vrsalovic, Nino Vidovic, Daniel Siewiorek, Zary Segall

Color Image Analysis with an Intrinsic Reflection Model
Gudren J. Klinker, Steven A. Shafer, Takeo Kanade


1988-89

Introduction
Nico Habermann

Automatic Speech Recognition
Kai-Fu Lee

Achieving High Availability in Coda
Mahadev Satyanarayanan

Foundations of Programming: Aspects of Research in Ergo
Robert Harper, Peter Lee, Frank Pfenning

Research in Digital Mapping
David McKeown, Aviad Zlotnick, Frederic Perlant, Yuan Hsieh, Wilson Harvey, Matthew Diamond

Once Upon a Time...


Alumni Home Page