Doctoral Degrees Conferred
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Monica Lam | H. T. Kung | A Systolic Array Optimizing Compiler |
| Catherine Cole McGeoch | Jon Bentley | Experimental Analysis of Algorithms |
| Kemal Oflazer | H. T. Kung | Partitioning in Parallel Processing of Production Systems |
| Alexander Waibel | Raj Reddy | Prosody and Speech Recognition |
| Ed Zayas | Richard Rashid | The Use of Copy-on-reference in a Process Migration System |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Anoop Gupta | Allen Newell | Parallelism in Production Systems |
| Bernd Bruegge | Mario Barbacci, Peter Hibbard | Adaptability and Portability of Symbolic Debuggers |
| Ivor Durham | Anita Jones | The Development of Fault-tolerant Software |
| Carl Ebeling | Robert Sproull | All the Right Moves: A VLSI Architecture for Chess |
| Craig Fulmer Everhart | Alfred Spector | Making Robust Programs |
| Gail E. Kaiser | Nico Habermann | Semantics for Structure Editing Environments |
| Douglass Locke | Douglas Jensen | Best-effort Decision Making for Real-time Scheduling |
| Bhubaneswar Mishra | Edmund Clarke | Some Graph-theoretic Issues in VLSI Design |
| Ketan Mulmuley | Dana Scott | Full Abstraction and Semantic Equivalence |
| James B. Saxe | Jon Bentley | Decomposable Searching Problems and Circuit Optimization by Retiming: Two Studies in General Transformation on Computational Structures |
| Duncan Walker | Steven Director | Yield Simulation for Integrated Circuits |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Marc Donner | Marc Raibert, Raj Reddy | Control of Walking: Local Control and Real Time Systems |
| Michael Foster | H. T. Kung | Specialized Silicon Compilers for Language Recognition |
| John Laird | Allen Newell | Universal Subgoaling |
| Philip Lehman | H. T. Kung | Systolic Arrays for Rapid Processing of Simple Database Transactions |
| David Notkin | Nico Habermann | Interactive Structure-oriented Computing |
| Jonathan Rosenberg | Mary Shaw | Generating Efficient Code for Generic Subprograms |
| Mark Sherman | Peter Hibbard, Daniel Siewiorek | Paragon: A Language Using Type Hierarchies for the Specification, Implementation and Selection of Abstract Data Types |
| David Touretzky | Scott Fahlman | The Mathematics of Inheritance Systems |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Guy Almes | William Wulf | Garbage Collecting in an Object-oriented System |
| Samuel Harbison | William Wulf | A Computer Architecture for the Dynamic Optimization of High-level Language Programs |
| John Kender | Raj Reddy | Shape from Texture |
| Bruce Leverett | William Wulf | Register Allocation in Optimizing Compilers |
| Patrick McGehearty | Richard Swan | Performance Evaluation of a Multiprocessor under Interactive Workloads |
| David Jack Mostow | Jaime Carbonell | Mechanical Transformation of Task Heuristics into Operational Procedures |
| Bruce Nelson | Robert Sproull | Remote Procedure Call |
| Brian Reid | Robert Sproull | SCRIBE: A Document Specification Language and its Compiler |
| Loretta Guarino Reid | Nico Habermann | Control and Communication in Programmed Systems |