Doctoral Degrees Conferred

Academic Year: 2009-2010
Name	Thesis Advisor(s)	Thesis Title
Shan Leung Woo	Guy E. Blelloch, Bruce M. Maggs	Heterogeneous Decomposition of Degree-Balanced Search Trees and Its Applications
Stefan Zickler	Manuela Veloso	Physics-Based Robot Motion Planning in Dynamic Multi-Body Environments

Academic Year: 2008-2009
Name	Thesis Advisor(s)	Thesis Title
Maria-Florina Balcan	Avrim Blum	New Theoretical Frameworks for Machine Learning
David Brumley	Dawn Song	Analysis and Defense of Vulnerabilities in Binary Code
Sonia Chernova	Manuela M. Veloso	Confidence-Based Robot Policy Learning from Demonstration
Elisabeth Crawford	Manuela M. Veloso	Learning to Improve Negotiation in Semi-Cooperative Agreement Problems
Charles Garrod	Bruce M. Maggs, Christopher Olston	Putting the "Scalability" into Database Scalability Services
Bora Cenk Gazen	Jaime Carbonell	Discovering Web Structure with Multiple Experts in a Clustering Framework
Andrew Gilpin	Tuomas Sandholm	Algorithms for Abstracting and Solving Imperfect Information Games
Daniel Golovin	Guy Blelloch	Uniquely Represented Data Structures with Applications to Privacy
Yang Gu	Manuela M. Veloso	Effective Motion Tracking Using Known and Learned Actuation Models
Himanshu Jain	Edmund M. Clarke	Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation
Andreas Krause	Carlos Guestrin	Optimizing Sensing - Theory and Applications
Yong Lu	Ziv Bar-Joseph, Roni Rosenfeld	A Computational Framework for the Analysis of Multi-Species Microarray Data
Pratyusa K. Manadhata	Jeannette M.Wing	An Attack Surface Metric
Colin McMillen	Manuela M. Veloso	Thresholded-Rewards Decision Problems: Acting Effectively in Timed Domains
David T. McWherter	Mor Harchol-Balter	Sharing DBMS among Multiple Users while Providing Performance Isolation: Analysis and Implementation
Robert W. Reeder	Lorrie Faith Cranor	Expandable Grids: A User Interface Visualization Technique and a Policy Semantics to Support Fast, Accurate Security and Privacy Policy Authoring
Monica Rogati	Yiming Yang, Jaime G. Carbonell	Domain Adaptation of Translation Models for Multilingual Applications
Mugizi Robert Rwebangira	Avrim Blum, John Lafferty	Techniques for Exploiting Unlabeled Data
Susmit Sarkar	Karl Crary	A Practical Foundational Certified Code System
Elaine Shi	Adrian Perrig	Evaluating Predicates over Encrypted Data
Daniel John Spoonhower	Guy E. Blelloch, Robert Harper	Scheduling Deterministic Parallel Programs
Jeffrey S. Stylos	Brad A. Myers	Making APIs More Usable with Improved API Designs, Documentation and Tools
Tiankai Tu	David R. O'Hallaron	A Scalable Database Approach to Computing Delaunay Triangulations
Virginia Vassilevska	Guy Blelloch	Efficient Algorithms for Path Problems in Weighted Graphs
Shobha Venkataraman	Avrim Blum, Dawn Song	Traffic Analysis for Network Security using Learning Theory and Streaming Algorithms
Noam Zeilberger	Peter Lee, Frank Pfenning	The Logical Basis of Evaluation Order and Pattern-Matching

Academic Year: 2007-2008
Name	Thesis Advisor(s)	Thesis Title
Jernej Barbič	Doug James	Real-time Reduced Large-deformation Models and Distributed Contact for Computer Graphics and Haptics
Sofia C.F.M. Cavaco	Michael Lewicki	Statistical Modeling and Synthesis of Intrinsic Structures in Impact Sounds
T.-H. Hubert Chan	Anupam Gupta	Approximation Algorithms for Bounded Dimensional Metric Spaces
Jana Clara Dunfield	Frank Pfenning	A Unified System of Type Refinements
Benoît Hudson	Gary L. Miller	Dynamic Mesh Refinement
Yan Karklin	Michael Lewicki	Hierarchical Statistical Models of Computation in the Visual System
Yan Ke	Martial Hebert, Rahul Sukthankar	Volumetric Features for Video Event Detection
Amit Manjhi	Bruce M. Maggs, Todd C. Mowry, Christopher Olston	Increasing the Scalability of Dynamic Web Applications
Tom Murphy VII	Robert W. Harper, Karl Crary	Modal Types for Mobile Code
Sandeep Pandey	Christopher Olston	Information Mediation in the Presence of Constraints and Uncertainties
Francisco Pereira	Tom Mitchell	Beyond Brain Blobs: Machine Learning Classifiers as Instruments for Analyzing Functional Magnetic Resonance Imaging Data
Vahe V. Poladyan	Mary Shaw, David Garlan	Tailoring Configuration to User’s Tasks under Uncertainty
Brian Potetz	Tai Sing Lee	Efficient Statistical Methods for 3D Shape Inference
Minglong Shao	Anastasia Ailamaki	Efficient Data Organization and Management on Heterogeneous Storage Hierarchies
Srinath Sridhar	Guy E. Blelloch, Russell Schwartz	Algorithms for Analyzing Intraspecific Sequence Variation
Matthew Streeter	Stephen F. Smith	Using Online Algorithms to Solve NP-Hard Problems More Efficiently in Practice
Jimeng Sun	Christos Faloutsos	Incremental Pattern Discovery on Streams, Graphs and Tensors
Christopher D. Twigg	Doug L. James	Controlling Multibody Dynamics via Browsing and Time Reversal
Douglas L. Vail	John D. Lafferty, Manuela M. Veloso	Conditional Random Fields for Activity Recognition
R. Ryan Williams	Manuel Blum	Algorithms and Resource Requirements for Fundamental Problems
Elly Zoe Winner	Manuela M. Veloso	Learning Domain-Specific Planners From Example Plans
Hua Zhong	Takeo Kanade	Image Guided Navigation for Minimally Invasive Surgery

Academic Year: 2006-2007
Name	Thesis Advisor(s)	Thesis Title
Rajesh Krishna Balan	Mahadev Satyanarayanan	Simplifying Cyber Foraging
Dan Bohus	Alexander Rudnicky, Roni Rosenfeld	Error Awareness and Recovery in Conversational Spoken Language Interfaces
James Robert Bruce	Manuela Veloso	Real-Time Motion Planning and Safe Navigation in Dynamic Multi-Robot Environments
Kaustuv Chaudhuri	Frank Pfenning	The Focused Inverse Method for Linear Logic
Pankaj P. Chauhan	Edmund Clarke	Verification of Large Industrial Circuits Using SAT Based Reparameterization and Automated Abstraction-Refinement
Vincent Conitzer	Tuomas Sandholm	Computational Aspects of Preference Aggregation
Carol Frieze	Lenore Blum	The Critical Role of Culture and Environment as Determinants of Women's Participation in Computer Science
Mark C. Fuhs	David Touretzky	Space and Context in the Rodent Hippocampal Region
Anubhav Gupta	Edmund Clarke	Learning Abstractions for Model Checking
Rose Hoberman	Dannie Durand	A Statistical Framework for Spatial Comparative Genomics
Glenn Judd	Peter Steenkiste	Using Physical Layer Emulation to Understand and Improve Wireless Networks
Caitlin Kelleher	Randy Pausch	Motivating Programming: Using Storytelling to make Computer Programming Attractive to Middle School Girls
Lea Kissner	Dawn Song	Privacy-Preserving Distributed Information Sharing
Ioannis Koutis	Gary Miller	Combinatorial and Algebraic Tools for Optimal Multilevel Algorithms
Lucian Vlad Lita	Jaime Carbonell	Instance-Based Question Answering
Hugh Brendan McMahan	Geoffrey Gordon, Avrim Blum	Robust Planning in Domains with Stochastic Outcomes, Adversaries, and Partial Observability
Daniel B. Neill	Andrew Moore	Detection of Spatial and Spatio-Temporal Clusters
Alina Mihaela Oprea	Michael Reiter	Efficient Cryptographic Techniques for Securing Storage Systems
Paul S. A. Reitsma	Nancy Pollard	Evaluating Data Driven Character Animation
Liu Ren	Jessica Hodgins	Statistical Analysis of Natural Human Motion for Animation
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