SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 1998-1999
Name Thesis Advisor(s) Thesis Title
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
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