![SCS Ph.D. Graduation 2019](/sites/default/files/styles/full_width_focal_point/public/2023-10/graduation.jpg.webp?itok=QqMi53yn)
Doctoral Degrees Conferred
Name | Thesis Advisor(s) | Thesis Title |
---|---|---|
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 |
Clark Thompson | H. T. Kung | A Complexity Theory for VLSI |