Doctoral Degrees Conferred

Academic Year: 2006-2007
Name	Thesis Advisor(s)	Thesis Title
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
Eli Underhill Brandt	Roger Dannenberg	Computer Music Programming with Temporal Type Constructors
Shawn A. Butler	Mary Shaw	Security Attribute Evaluation Method
Scott Davies	Andrew Moore	Fast Factorized Density Estimation and Compression with Bayesian Networks
Alexander G. Gray	Andrew Moore	Bringing Tractability to Generalized N-Body Problems in Statistical and Scientific Computation
Aaron Greenhouse	William Scherlis, Thomas Gross	A Programmer-Oriented Approach to Safe Concurrency