SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 1997-1998
Name Thesis Advisor(s) Thesis Title
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
Lily Barkovic Mummert M. Satyanarayanan Exploiting Weak Connectivity in a Distributed File System
Christopher David Okasaki Peter Lee Purely Functional Data Structures
Susan Older Stephen Brookes A Denotational Framework for Fair Communicating Processes
Jonathan Richard Shewchuk Gary Miller, David O'Hallaron Delaunay Refinement Mesh Generation
Jefferey Allen Shufelt David McKeown Projective Geometry and Photometry for Object Detection and Delineation
David Capers Steere M. Satyanarayanan Using Dynamic Sets to Reduce the Aggregate Latency of Data Access
David Tarditi Peter Lee Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
Xuemei Wang Jaime Carbonell Learning Planning Operation by Observation and Practice
Peter Weyhrauch Joseph Bates Guiding Interactive Drama
Mark Damon Wheeler Katsushi Ikeuchi Automatic Modeling and Localization for Object Recognition
Xudong Zhao Edmund Clarke Verification of Arithmetic Circuits
Academic Year: 1995-1996
Name Thesis Advisor(s) Thesis Title
Ali-Reza Adl-Tabatabai Thomas Gross Source-Level Debugging of Globally Optimized Code
Anja Feldmann Daniel Sleator, Bruce Maggs On-Line Call Admission for High-Speed Networks
Andrzej Filinski John Reynolds, Robert Harper Controlling Effects
Shai Geva Stephen Brookes A Study of Higher-Order Sequential Computation
Steven Guattery Doug Tygar, Gary Miller Applications of Graph-Theoretical Properties
Jeffrey Jackson Merrick Furst The Harmonic Sieve: A Novel Application of Fourier Analysis to Machine Learning Theory and Practice
Frederick Knabe Jeannette Wing Language Support for Mobile Agents
Alon Lavie Masaru Tomita GLR: A Robust Grammar Focused Parser for Spontaneously Spoken Language
Qi Lu M. Satyanarayanan, Nico Habermann Improving Data Consistency for Mobile File Access Using Isolation-Only Transactions
Mark Walter Maimone Steven Shafer Characterizing Stereo Matching Problems using Local Spatial Frequency
Greg Morrisett Robert Harper, Jeannette Wing Compiling with Types
W. Scott Neal Reilly Joseph Bates Believable Social and Emotional Agents
Scott McBride Nettles Jeannette Wing Safe and Efficient Persistent Heaps
William J. Niehaus Egon Balas Design of Maximum Cardinality and Maximum Weight Clique Heuristics with Applications
Barak A. Pearlmutter David Touretzky An Investigation of the Gradient Descent Process in Neural Networks
Alicia Perez Jaime Carbonell Learning Search Control Knowledge to Improve Plan Quality
Conrad Poelman Takeo Kanade The Paraperspective and Projective Factorization Methods for Recovering Shape and Motion
M.K. Ravishankar Raj Reddy Efficient Algorithms for Speech Recognition
Will Welch Andrew Witkin Serious Putty: Topological Design for Variational Curves and Surfaces
Michael Witbrock Scott Fahlman, Alexander Waibel Learning Models of Speaker Variation
Amy Moormann Zaremski Jeannette Wing Signature and Specification Matching
Academic Year: 1994-1995
Name Thesis Advisor(s) Thesis Title
Anurag Acharya Peter Lee Scalability in Production System Programs
Prasad Chalasani Avrim Blum Competitive Online Learning Algorithms for Navigation, Paging, and Predicting Switching Functions
John Cheng Tom Mitchell Management of Speedup Mechanisms in Learning Architectures
Robert B. Doorenbos Jill Fain Lehman Production Matching for Large Learning Systems
Michael Gleicher Andrew Witkin A Differential Approach to Graphical Interaction
Aarti Gupta Allan Fisher Inductive Boolean Function Manipulation: A Hardware Verification Methodology for Automatic Induction
Susan Hinrichs Thomas Gross Compiler-Directed Architecture Dependent Communication Optimizations
Puneet Kumar M. Satyanarayanan Mitigating the Effects of Optimistic Replication in a Distributed File System