Doctoral Degrees Conferred
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Clark Thompson | H. T. Kung | A Complexity Theory for VLSI |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Sten Andler | Nico Habermann | Predicate Path Expressions: A High-level Synchronization Mechanism |
| Kevin Brown | Michael Shamos | Geometric Transforms for Fast Geometric Algorithms |
| Donald Cohen | Scott Fahlman | Knowledge Based Theorem Proving and Learning |
| John Gaschnig | Herbert Simon | Performance Measurement and Analysis of Certain Search Algorithms |
| David Jefferson | William Wulf | Type Reduction and Program Verification |
| John Ousterhout | Nico Habermann | Partitioning and Cooperation in a Distributed Multiprocessor Operating System: MEDUSA |
| Steve Saunders | William Wulf | Compiling Customized Executable Representations and Interpreters |
| Walter Tichy | Nico Habermann | Software Development Control Based on System Structure Description |
| Name | Thesis Advisor(s) | Thesis Title |
|---|---|---|
| Lee Cooprider | Nico Habermann | The Representation of Families of Software Systems |
| Lanny Forgy | Allen Newell | On the Efficient Implementation of Production Systems |
| John Oakley | Daniel Siewiorek | Symbolic Execution of Formal Machine Descriptions |
| Elaine Rich | George Robertson | Building and Exploiting User Models |
| 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 |