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 |