SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 1991-1992
Name Thesis Advisor(s) Thesis Title
Dean Rubine Roger Dannenberg The Automatic Recognition of Gestures
Alan Sussman H. T. Kung, Thomas Gross Model-Driven Mapping of Computation onto Distributed Memory Parallel Computers
Shanghua Teng Gary Miller A Unified Geometric Approach to Graph Partitioning
Carlo Tomasi Takeo Kanade Shape and Motion from Image Streams: A Factorization Method
Gregg Yost Allen Newell TAQL: A Problem Space Tool for Expert System Development
Angelika Zobel Thomas Gross Program Structure as a Basis for the Parallelization of Global Compiler Optimizations
Academic Year: 1990-1991
Name Thesis Advisor(s) Thesis Title
David Black Richard Rashid, Zary Segall Scheduling and Resource Management Techniques for Multiprocessors
Raymond Keith Clark Maurice Herlihy Scheduling Dependent Real-Time Activities
David Detlefs Jeannette Wing Concurrent, atomic garbage collection
Gordon Goetsch Hans Berliner The Maximization of Mutual Information in a Context Sensitive Neural Network
Kenneth Goldberg Matthew Mason Stochastic Plans for Robotic Manipulation
Alexander Hauptmann Jaime Carbonell, Alexander Rudnicky Meaning from Structure in Natural Language Interfaces
Peter Highnam Allan Fisher Systems and Programming Issues in the Design and Use of a SIMD Linear Array for Image Processing
Craig Knoblock Jaime Carbonell Automatically Generating Abstractions for Problem Solving
Richard Lerner Jeannette Wing Specifying Objects of Concurrent Systems
Steven Nowlan Geoffrey Hinton Soft Competitive Adaptation: Neural Network Learning Algorithms Based on Fitting Statistical Mixtures
Marko Petkovsek Dana Scott Finding Closed-Form Solutions of Difference Equations by Symbolic Methods
Harry Printz H. T. Kung Automatic Mapping of Large Signal Processing Systems to a Parallel Machine
Norman Sadeh-Koniecpol Mark Fox Look-Ahead Techniques for Micro-Opportunistic Job Shop Scheduling
David Servan-Schrieber Herbert Simon From Physiology to Behavior: Computational Models of Catecholamine Modulation of Information Processing
Olin Shivers Peter Lee, Allen Newell Control Flow Analysis of High Order Languages
Milind Tambe Allen Newell Eliminating Combinatorics from Production Match
Ming Tan Tom Mitchell, Schlimmer Cost-Sensitive Robot Learning
Raul Valdes-Perez Herbert Simon Machine Discovery of Chemical Reaction Pathways
Blake Ward Allen Newell, Jill Larkin Toward an ITS for Theory-based Representations
Skef Wholey Guy Blelloch, Scott Fahlman Automatic Data Mapping for Distributed-Memory Parallel Computers
Academic Year: 1989-1990
Name Thesis Advisor(s) Thesis Title
Thomas Anantharaman Roberto Bisiani A Statistical Study of Selective Min-Max Search in Computer Chess
Joshua J. Bloch Alfred Spector A Practical Approach to Replication of Abstract Data Objects
Ellen Borison James Morris Program Changes and the Cost of Selective Recompilation
Conal Elliott Frank Pfenning Extensions and Applications of Higher-Order Unification
Feng-Hsiung Hsu H. T. Kung Large Scale Parallelization of Alpha-beta Search: An Algorithmic and Architectural Study with Computer Chess
Daniel Kuokka Jaime Carbonell The Deliberative Integration of Planning, Execution, and Learning
Thomas Lane Mary Shaw User Interface Software Structures
Kevin Lang Geoffrey Hinton A Time-delay Neural Network Architecture for Speech Recognition
Jill Fain Lehman Jaime Carbonell Adaptive parsing: Self-extending natural language interfaces
Barbara Staudt Lerner Nico Habermann Automated Customization of User Interfaces
Larry Matthies Takeo Kanade Dynamic Stereo Vision
Michael Mauldin Jaime Carbonell Information Retrieval by Text Skimming
David Nichols James Morris Multiprocessing in a Network of Workstations
Andreas Nowatzyk Roberto Bisiani A Communication Architecture for Multiprocessor Networks
Wei-Min Shen Herbert Simon, Jaime Carbonell Learning from Environments Based on Percepts and Actions
Anthony Stentz Takeo Kanade The NAVLAB System for Mobile Robot Navigation
Ellen Lowenfeld Walker Takeo Kanade Frame-based geometric reasoning for construction and maintenance of 3D world models
Richard Wallace Takeo Kanade Finding Natural Clusters Through Entropy Minimization
Michael Young Richard Rashid, Alfred Spector Exporting a User Interface to Memory Management from Communication-Oriented Operating Systems
Academic Year: 1988-1989
Name Thesis Advisor(s) Thesis Title
Michael Browne Edmund Clarke Automatic Verification of Finite State Machines Using Temporal Logic
Dean Daniels Alfred Spector Distributed Logging for Transaction Processing
Mark Derthick Geoffrey Hinton, David Touretzky Mundane Reasoning by Parallel Constraint Satisfaction
Daniel Duchamp Alfred Spector Transaction Management
Jeffrey Eppinger Richard Rashid, Alfred Spector Virtual Memory Management for Transaction Processing Systems
Jessica Hodgins Matthew Mason Legged Robots on Rough Terrain: Experiments in Adjusting Step Length
Guy Jacobson Merrick Furst Succinct Static Data Structures
Gudrun Klinker Takeo Kanade, Jonathan Webb A Physical Approach to Color Image Understanding
Deepak Kulkarni Herbert Simon The Processes of Scientific Research: The Strategy of Experimentation
Victor Milenkovic Takeo Kanade Verifiable Implementations of Finite Precision Arithmetic
Vijay Saraswat Dana Scott Concurrent Constraint Programming Languages
David Smith Takeo Kanade Autonomous Scene Description with Range Imagery
David Steier Allen Newell Automating Algorithm Design Within a General Architecture for Intelligence
Richard Szeliski Takeo Kanade Bayesian Modeling of Uncertainty in Low-level Vision
Academic Year: 1987-1988
Name Thesis Advisor(s) Thesis Title
Murray Campbell Hans Berliner Chunking as an Abstraction Mechanism
Richard Cohn James Morris Programmable Command Languages for Window Systems
David Dill Edmund Clarke Trace Theory for Automatic Heirarchical Verification of Speed-independent Circuits
Rex Dwyer Daniel Sleator Average Case Analysis of Algorithms for Convex Hulls and Voronoi Diagrams
Leonard Hamey Takeo Kanade Computer Perception of Repetitive Textures
Michael Horowitz Roger Dannenberg Automatically Achieving Elasticity in the Implementation of Programming Languages
Yumi Iwasaki Herbert Simon Model-based Reasoning of Device Behavior with Causal Ordering
Kai-fu Lee Raj Reddy Large-vocabulary Speaker-independent Continuous Speech Recognition
Lyle McGeoch Merrick Furst Algorithms for Two Graph Problems: Computing Maximum-genus Imbedding and the Two-server Problem
Steven Minton Jaime Carbonell Learning Effective Search Control Knowledge: An Explanation-based Approach
Randy Pausch Alfred Spector Adding Input and Output to the Transactional Model
Robert Sansom Richard Rashid Building a Secure Distributed Computer System
Pedro Szekely Philip Hayes Separating the User Interface from the Functionality of Application Programs
Avadis Tevanian Jr. Richard Rashid Architecture-Independent Virtual Memory Management for Parallel and Distributed Environments: The Mach Approach
James Wendorf Douglas Jensen, Hideyuki Tokuda Operating System/application Concurrency in Tightly-coupled Multiple-processor Systems
Academic Year: 1986-1987
Name Thesis Advisor(s) Thesis Title
David Ackley Geoffrey Hinton Stochastic Iterated Genetic Hill Climbing