SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 1985-1986
Name Thesis Advisor(s) Thesis Title
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
Academic Year: 1984-1985
Name Thesis Advisor(s) Thesis Title
Andrew W. Appel Merrick Furst Compile-time Evaluation and Code Generation for Semantics-directed Compilers
Nathaniel S. Borenstein James Morris The Design and Evaluation of On-line Help Systems
Allan L. Fisher H. T. Kung Implementation Issues for Algorithmic VLSI Processor Arrays
Edward H. Frank Robert Sproull A Data-driven Multiprocessor for Switch-level Simulation of VLSI Circuits
Andy Hisgen Peter Hibbard Optimization of User-defined Types: A Program Transformation Approach
David Hornig Richard Rashid, Raj Reddy Automatic Partitioning and Scheduling on a Network of Personal Computers
Michael L. Kazar Anita Jones Automatic Distribution of Programs and Data in a Distributed Environment
Bruce D. Lucas Takeo Kanade, Raj Reddy Generalized Image Matching by the Method of Differences
Joseph Mohan Anita Jones Performance of Parallel Programs: Model and Analyses
Thomas L. Rodeheffer Peter Hibbard Compiling Ordinary Programs for Executions on an Asynchronous Multiprocessor
Peter Schwarz Alfred Spector Transactions on Typed Objects
Charles Thorpe Raj Reddy FIDO: Vision and Navigation for a Robot Rover
Masaru Tomita Jaime Carbonell An Efficient Context-free Parsing Algorithm for Natural Languages and its Application
Philip Lee Wadler Nico Habermann Listlessness is Better than Laziness
Robert Wilber Merrick Furst A Comparison of the Black and Black-white Pebble Games
Academic Year: 1983-1984
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
Academic Year: 1982-1983
Name Thesis Advisor(s) Thesis Title
Robert Chansler Anita Jones Coupling in Systems with Many Processors
Roger Dannenberg Peter Hibbard Resource Sharing in a Network of Personal Computers
Mark Fox Herbert Simon Constraint-directed Search: A Case Study of Job-shop Scheduling
James Gosling Robert Sproull, Raj Reddy Algebraic Constraints
Robert Hon Raj Reddy, Robert Sproull Two Papers on Circuit Extraction
Richard Korf Herbert Simon Learning to Solve Problems by Searching for Macro-operators
David Lamb Mary Shaw Sharing Intermediate Representations
Andrew Palay Hans Berliner Searching with Probabilities
Paul Rosenbloom Allen Newell The Chunking of Goal Hierarchies: A Model of Practice and Stimulus-response Compatibility
Mahadev Satyanarayanan William Wulf, George Robertson A Methodology for Modelling Storage Systems and its Application to a Network File System
Karsten Schwans Anita Jones Tailoring Software for Multiple Processor Systems
Steven Shafer Takeo Kanade Shadow Geometry and Occluding Contours of Generalized Cylinders
Pradeep Sindhu Robert Sproull Distribution and Reliability in a Multiprocessor Operating System
Richard Snodgrass William Wulf Monitoring Distributed Systems: A Relational Approach
Steven Vegdahl Anita Jones Local Code Generation and Compaction in Optimizing Microcode Compilers
Academic Year: 1981-1982
Name Thesis Advisor(s) Thesis Title
Peter Feiler Nico Habermann A Language-oriented Interactive Programming Environment Based on Compilation Technology
Richard Gumpertz William Wulf Error Detection with Memory Tags
Satish Gupta Robert Sproull Architectures and Algorithms for Parallel Updates of Raster Scan Displays
Paul Hilfinger Mary Shaw Abstraction Mechanisms and Language Design
Kowk-woon Lai Daniel P. Siewiorek Functional Testing of Digital Systems
Charles Leiserson H. T. Kung Area-efficient VLSI Computation
David McDonald Scott Fahlman Understanding Noun Compounds
Raul Medina-Mora Nico Habermann Syntax-directed Editing: Towards Integrated Programming Environments
Kamesh Ramakrishna Allen Newell Schematization as an Aid to Organizing ZOG Information Nets
John Robinson H. T. Kung Design of Concurrency Controls for Transaction Processing Systems
Robert Schwanke Nico Habermann Execution Environments in Programming Languages and Operating Systems
Siang Wun Song H. T. Kung On a High-performance VLSI Solution to Database Problems
Academic Year: 1980-1981
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
Academic Year: 1979-1980
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 Raj Reddy, William Wulf Compiling Customized Executable Representations and Interpreters
Walter Tichy Nico Habermann Software Development Control Based on System Structure Description
Academic Year: 1978-1979
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