Doctoral Degrees Conferred
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Richard Swan | Samuel Fuller | The Switching Structure and Addressing Architecture of an Extensible Multiprocessor: Cm\* |
| Bruce Weide | Michael Shamos | Statistical Methods in Algorithm Design and Analysis |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Gerard Baudet | H. T. Kung | The Design and Analysis of Algorithms for Asynchronous Multiprocessors |
| Rick Cattell | William Wulf | Formalization and Automatic Derivation of Code Generators |
| Lawrence Flon | Nico Habermann | On the Design and Verification of Operating Systems |
| James Gillogly | Allen Newell | Performance Analysis of the Technology Chess Program |
| Donald Heller | Joseph Traub | The Solution of Block Tri-diagonal Linear Systems on Parallel Computers |
| Madhav Marathe | Samuel Fuller | Performance Evaluation at the Hardware Architecture Level and the Operating System Kernel Design Level |
| Donald McCracken | Allen Newell | A Production System Version of the Hearsay II Speech Understanding System |
| Steve Rubin | Raj Reddy | ARGOS Image Understanding System |
| Richard Smith | Lee Erman | Word Hypothesization for Large-vocabulary Speech Understanding Systems |
| Mark Stickel | Bruce Buchanan | Mechanical Theorem Proving and Artificial Intelligence Languages |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Douglas Clark | Samuel Fuller | List Structure: Measurements, Algorithms, and Encodings |
| Ellis Cohen | William Wulf | Problems, Mechanisms, and Solutions |
| Roy Levin | William Wulf | Program Structures for Exceptional Condition Handling |
| Keith Price | Raj Reddy | Change Detection and Analysis in Multi-spectral Images |
| Michael Rychener | Allen Newell | Production Systems as a Programming Language for Artificial Intelligence Applications |
| E. A. Schneider | Nico Habermann | Synchronization of Finite State Shared Resources |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Gideon Ariely | William Wulf | Verification of Systems Programs |
| H. Chang | Nico Habermann | An Analysis of Deadlock Avoidance Schemes and the Resource Utilization For Non-pre-emptible Resources |
| Richard Johnsson | William Wulf | An Approach to Global Register Allocation |
| Bruce Lowerre | Raj Reddy | HARPY Speech Understanding System |
| Charles Weinstock | William Wulf | Analysis of Storage Allocation |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Henry Goldberg | Raj Reddy | Segmentation and Labeling of Speech: A Comparative Performance Evaluation |
- Thesis Repositories