SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 1999-2000
Name Thesis Advisor(s) Thesis Title
Lars Birkedal Dana Scott Developing Theories of Types and Computability via Realizability
Carl Burch Avrim Blum Machine learning in metrical task systems and other on-line problems
Rob DeLine Mary Shaw Resolving Packaging Mismatch
Peter August Dinda David O'Hallaron Resource Signal Prediction and Its Application To Real-time Scheduling Advisors
Jüergen Dingel Stephen Brookes Systematic parallel programming
Eugene Fink Herbert Simon, Jaime Carbonell Automatic Representation Changes in Problem Solving
Howard Gobioff Garth Gibson, Doug Tygar Security for a High Performance Commodity Storage Subsystem
Geoffrey Gordon Tom Mitchell Approximate Solutions to Markov Decision Processes
Marius Minea Edmund Clarke Partial Order Reduction for Verification of Timed Systems
Robert T. Monroe David Garlan Rapid Development of Custom Software Architecture Design Environments
Thomas M. Stricker Thomas Gross Direct Deposit – When Message Passing meets Shared Memory
Academic Year: 1998-1999
Name Thesis Advisor(s) Thesis Title
Leemon C. Baird III Andrew Moore Reinforcement Learning Through Gradient Descent
Claudson Ferriera Bornstein Bruce Maggs, Gary Miller Parallelizing and De-parallelizing Elimination Orders
Justin Andrew Boyan Scott Fahlman, Andrew Moore Learning Evaluation Functions for Global Optimization
Denis R. Dancanet Stephen Brookes Intensional Investigations
Dayne Freitag Tom Mitchell Machine Learning for Information Extraction
Michael Garland Paul Heckbert Quadric-Based Polygonal Surface Simplification
Lorin V. Grubb Roger Dannenberg A Probabilistic Method for Tracking a Vocalist
Darrell Kindred Jeannette Wing Theory Generation for Security Protocols
Christian Lebiere Scott Fahlman The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic
Richard G. McDaniel Brad Myers, James Morris Building Whole Applications Using Only Programming-by-Demonstration
Arup Mukherjee Daniel Siewiorek Supporting Online Services in Environments Constrained by Communication
Girija Narlikar Guy Blelloch Space-efficient Scheduling for Parallel, Multithreaded Computations
George Ciprian Necula Peter Lee Compiling with Proofs
Ljubomir Perković Dana Scott, Bruce Reed Edge Coloring, Polyhedra and Probability
Zoran Popović Andrew Witkin Motion Transformation by Physically Based Spacetime Optimization
Andréa Werneck Richa Bruce Maggs On Distributed Network Resource Allocation
Henry A. Rowley Takeo Kanade Neural Network-Based Face Detection
Dario D. Salvucci John Anderson Mapping Eye Movements to Cognitive Processes
Phoebe Sengers Joseph Bates Anti-Boxology: Agent Design in Cultural Context
Peter Stone Manuela Veloso Layered Learning in Multi-Agent Systems
Astro Teller Manuela Veloso Algorithm Evolution with Internal Reinforcement for Signal Understanding
Daniel Tunkelang Daniel Sleator A Numerical Optimization Approach to General Graph Drawing
Bwolen Yang David O'Hallaron Optimizing Model Checking Based on BDD Characterization
Academic Year: 1997-1998
Name Thesis Advisor(s) Thesis Title
James Blythe Jaime Carbonell Planning under Uncertainty in Dynamic Domains
José Carlos Brustoloni Peter Steenkiste Effects of Data Passing Semantics and Operating System Structure on Network I/O Performance
Rich Caruana Jaime Carbonell Multitask Learning
Yirng-An Chen Randal Bryant Arithmetic Circuit Verification Based on Word-Level Decision Diagrams
Scott Draves Peter Lee Automatic Program Specialization for Interactive Media
Maria R. Ebling M. Satyanarayanan Translucent Cache Management for Mobile Computing
Karen Zita Haigh Manuela Veloso Situation-Dependent Learning for Interleaved Planning and Robot Execution
Jonathan C. Hardwick Guy Blelloch Practical Parallel Divide-and-Conquer Algorithms
Sven Koenig Reid Simmons Goal-Directed Acting with Incomplete Information
Charles W. Krueger David Garlan, Nico Habermann Modeling and Simulating a Software Architecture Design Space
Qingming Ma Peter Steenkiste Quality-of-Service Routing in Integrated Services Networks
Clifford W. Mercer Mootaz Elnozahy, Ragunathan Rajkumar Operating System Resource Reservation for Real-Time and Multimedia Applications
See-Kiong Ng Mark Perlin Automating Computational Molecular Genetics: Solving the microsatellite genotyping problem
Brian D. Noble M. Satyanarayanan Mobile Data Access
John Ockerbloom David Garlan Mediating Among Diverse Data Formats
Manish Pandey Randal Bryant Formal Verification of Memory Arrays
A. David Redish David Touretzky Beyond the Cognitive Map: Contributions to a Computational Neuroscience Theory of Rodent Navigation
Margaret Reid-Miller Guy Blelloch Experiments with Parallel Pointer-Based Algorithms
Yury V. Smirnov Manuela Veloso Hybrid Algorithms for On-Line Search and Combinatorial Optimization Problems
James M. Stichnoth Thomas Gross Generating Code for High-Level Operations through Code Composition
Dafna Talmor Gary Miller Well-Spaced Points for Numerical Methods
Andrew Tomkins Merrick Furst Practical and Theoretical Issues in Prefetching and Caching
Santosh Vempala Avrim Blum Geometric Tools for Algorithms
Minh Tue Vo Alexander Waibel A Framework and Toolkit for the Construction of Multimodal Learning Interfaces
Marco Zagha Guy Blelloch Efficient Irregular Computation on High-Bandwidth Pipelined-Memory Multiprocessors
Academic Year: 1996-1997
Name Thesis Advisor(s) Thesis Title
Robert J. Allen David Garlan A Formal Approach to Software Architecture
Erik M. Altmann Bonnie John Episodic Memory for External Information
Shumeet Baluja Dean Pomerleau Expectation-Based Selective Attention
Sergio Vale Aguiar Campos Edmund Clarke A Quantitative Approach to the Formal Verification of Real-Time Systems
Lonnie Dale Chrisman Tom Mitchell, Reid Simmons Approximation of Graphical Probabilistic Models by Iterative Dynamic Discretization and Application to Time-Series Segmentation
Christopher Colby Peter Lee Semantics-based Program Analysis via Symbolic Composition of Transfer Relations
Anwar Mohammed Ghuloum Allan Fisher Compiling Recurrent and Irregular Serial Code for High Performance Computers
Richard Thomas Goodwin Reid Simmons Meta-Level Control for Decision-Theoretic Planners
John Greiner Guy Blelloch Semantics-based parallel cost models and their use in provably efficient implementations
Keith D. Gremban Gary Miller Combinatorial Preconditioners for Sparse, Symmetric, Diagonally Dominant Linear Systems
Somesh Jha Edmund Clarke Symmetry and Induction in Model Checking
Jennifer Sheila Kay Charles Thorpe STRIPE: Remote Driving Using Limited Image Data
James A. Landay Brad Myers, James Morris Interactive Sketching for the Early Stages of User Interface Design
Mark Lillibridge Robert Harper Translucent Sums: A Foundation for Higher-Order Module Systems
A. Bryan Loyall Joseph Bates Believable Agents: Building Interactive Personalities
Chris Maeda Brian Bershad, Eric Cooper Service Decomposition: A Structuring Principle for Flexible High-Performance Operating Systems