SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2006-2007
Name Thesis Advisor(s) Thesis Title
Alla Safonova Jessica Hodgins Reducing the Search Space for Physically Realistic Human Motion Synthesis
Craig Soules Gregory Ganger Using Context to Assist in Personal File Retrieval
Muralidhar Talupur Edmund Clarke Abstraction Techniques for Parameterized Verification
C. Joseph Vanderwaart Karl Crary Static Enforcement of Timing Policies Using Code Certification
Chengwen Chris Wang Daniel Sleator Multi-Splay Trees
Adam Wierman Mor Harchol-Balter Scheduling for Today's Computer Systems: Bridging Theory and Practice
Academic Year: 2005-2006
Name Thesis Advisor(s) Thesis Title
Aditya Akella Srinivasan Seshan Endpoint-Based Routing Strategies for Improving Internet Performance and Resilience
Paul N. Bennett Jaime Carbonell, John Lafferty Building Reliable Metaclassifiers for Text Learning
Daniel K. Blandford Guy Blelloch Compact Data Structures with Fast Queries
Shuchi Chawla Avrim Blum Graph Algorithms for Planning and Partitioning
Shimin Chen Anastassia Ailamaki, Todd Mowry Redesigning Database Systems in Light of CPU Cache Prefetching
Christopher B. Colohan Todd Mowry, Anastassia Ailamaki Applying Thread Level Speculation to Database Transactions
Kedar Dhamdhere Guy Blelloch, R. Ravi Approximation Algorithms for Metric Embedding Problems
Stavros Harizopoulos Anastassia Ailamaki Staged Database Systems
Urs Hengartner Peter Steenkiste Access Control to Information in Pervasive Computing Environments
Ningning Hu Peter Steenkiste Network Monitoring and Diagnosis Based on Available Bandwidth Measurement
Scott Lenser Manuela Veloso On-line Robot Adaptation to Environmental Change
Maxim Likhachev Geoffrey Gordon, Sebastian Thrun Search-based Planning for Large Dynamic Environment
Ting Liu Andrew Moore Fast Nonparametric Machine Learning Algorithms for High-dimensional Massive Data and Applications
Radu Stefan Niculescu Tom Mitchell Exploiting Parameter Domain Knowledge for Learning Bayesian Networks
Takayuki Osogami Mor Harchol-Balter Analysis of Multi-server Systems via Dimensionality Reduction of Markov Chains
Jia-Yu Pan Christos Faloutsos, Howard Wactlar Advanced Tools for Video and Multimedia Mining
Spyridon Papadimitriou Christos Faloutsos Parameter-Free Spatial and Stream Mining
Sungwoo Park Frank Pfenning, Sebastian Thrun A Programming Language for Probabilistic Computation
Bianca Schroeder Mor Harchol-Balter Improving the Performance of Static and Dynamic Requests at a Busy Web Site
Luis von Ahn Manuel Blum Human Computation
Mengzhi Wang Anastassia Ailamaki Performance Modeling of Storage Devices using Machine Learning
Yinglian Xie David R. O'Halloran, Hui Zhang A Spatiotemporal Event Correlation Approach to Computer Security
Academic Year: 2004-2005
Name Thesis Advisor(s) Thesis Title
Umut A. Acar Guy Blelloch Self-adjusting Computation
Hal Burch Bruce Maggs, Gary Miller Measuring an IP Network in situ
Sagar J. Chaki Edmund Clarke A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs
Yang-hua Chu Hui Zhang Enabling Live Internet Broadcasting using an Application Endpoint Architecture
Rowan Davies Frank Pfenning Practical Refinement-Type Checking
Angela Demke Brown Todd Mowry Explicit Memory Management for Out-of-Core Applications
Derek Dreyer Robert Harper and Karl Crary Understanding and Evolving the ML Module System
Adam M. Fass Randy Pausch MessyBoard: Lowering the Cost of Communication and Making it More Enjoyable
Jun Gao Peter Steenkiste A Distributed and Scalable Peer-to-Peer Content Discovery System Supporting Complex Queries
Alex David Groce Edmund Clarke Error Explanation and Fault Localization with Distance Metrics
Nicholas J. Hopper Manuel Blum Toward a Theory of Steganography
An-Cheng Huang Peter Steenkiste Building Self-configuring Services Using Service-specific Knowledge
Kate Larson Tuomas Sandholm Mechanism Design for Computationally-Limited Agents
Aleksandar Nanevski Frank Pfenning Functional Programming with Names and Necessity
Suman Nath Srinivasan Seshan Exploiting Redundancy for Robust Sensing
Leaf Eames Petersen Robert Harper, Karl Crary Certifying Compilation for Standard ML in a Type Analysis Framework
Sanjay G. Rao Hui Zhang Establishing the viability of End System Multicast using a Systems Approach to Protocol Design
Patrick Riley Manuela Veloso Coaching: Learning and Using Environment and Agent Models for Advice
Sanjit A. Seshia Randal Bryant Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification
João Pedro Sousa David Garlan Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments
Dennis W. Strelow Sanjiv Singh Motion Estimation from Image and Inertial Measurements
Desney S. Tan Randy Pausch Exploiting the Cognitive and Social Benefits of Physically Large Displays
Leejay Wu Christos Faloutsos Automated Modeling and Nonlinear Axis Scaling
Håkan Lorens Samir Younes Reid Simmons Verification and Planning for Stochastic Processes with Asynchronous Events
Antonia Zhai Todd Mowry Compiler Optimization of Value Communication for Thread-Level Speculation
Martin Zinkevich Avrim Blum Theoretical Guarantees for Algorithms in Multi-Agent Settings
Academic Year: 2003-2004
Name Thesis Advisor(s) Thesis Title
Nikhil Bansal Avrim Blum Algorithms for Flow Time Scheduling
Andrew Bernard Peter Lee Engineering Formal Security Policies for Proof-Carrying Code
Mihai-Dan Budiu Seth Goldstein Spatial Computation
Nathaniel D. Daw David Touretzky Reinforcement Learning Models of the Dopamine System and their Behavioral Implications
Rune Møller Jensen Manuela Veloso, Randal E. Bryant Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains
Jorjeta G. Jetcheva David Johnson Adaptive Demand-Driven Multicast Routing in Multi-Hop Wireless Ad Hoc Networks
Qifa Ke Takeo Kanade A Robust Subspace Approach to Extracting Layers from Image Sequences
Geoff Langdale Thomas Gross The Effect of Profile Choice and Profile Gathering Methods on Profile-Driven Optimization Systems
Tze-Sing Eugene Ng Hui Zhang Network Support for Global-Scale Peer-to-Peer Systems
Dan Pelleg Andrew Moore Scalable and Practical Probability Density Estimators for Scientific Anomaly Detection
Brigitte Pientka Frank Pfenning Tabled Higher-order Logic Programming
Charles Joseph Rosenberg Martial Hebert, Sebastian Thrun Semi-Supervised Training of Models for Appearance-Based Statistical Object Detection Methods
Oleg Mikhail Sheyner Jeannette Wing Scenario Graphs and Attack Graphs
Bridget Spitznagel David Garlan Compositional Transformation of Software Connectors
Kathryn Van Stone Stephen Brookes A Denotational Approach to Measuring Complexity in Functional Programs
Peter Venable John Lafferty Modeling Syntax for Parsing and Translation
Alma Whitten Doug Tygar Making Security Usable
Theodore Ming-Tao Wong Jeannette Wing Decentralized Recovery for Survivable Storage Systems
Weng-Keen Wong Andrew Moore Data Mining for Early Detection of Disease Outbreaks
Ke Yang Steven Rudich On the Communication Complexity of Correlation and Entanglement Distillation
Academic Year: 2002-2003
Name Thesis Advisor(s) Thesis Title
Michael Bowling Manuela Veloso Multiagent Learning in the Presence of Agents with Limitations