Doctoral Degrees Conferred

Academic Year: 2013-2014
Name	Thesis Advisor(s)	Thesis Title
Jiří Šimša	Randal Bryant, Garth Gibson	Systematic and Scalable Testing of Concurrent Programs

Academic Year: 2012-2013
Name	Thesis Advisor(s)	Thesis Title
Leman Akoglu	Christos Faloutsos	Mining and Modeling Real-world Networks: Patterns, Anomalies, and Tools
Khalid El-Arini	Carlos Guestrin	Beyond Keyword Search: Representations and Models for Personalization
Dongsu Han	Srinivasan Seshan	Supporting Long Term Evolution in an Internet Architecture
Sue Ann Hong	Geoffrey Gordon	Distributed Market-Based Algorithms for Multi-Agent Planning with Shared Resources
Neelakantan R. Krishnaswami	Stephen Brookes, John Reynolds	Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
Steven Okamoto	Katia Sycara	Allocating Virtual and Physical Flows for Multiagent Teams in Mutable, Networked Environments
Swapnil Patil	Garth Gibson	Scale and Concurrency of Massive File System Directories
Amar Phanishayee	David Andersen	Chaining For Flexible And High-Performance Key-Value Systems
B. Aditya Prakash	Christos Faloutsos	Understanding and Managing Propagation on Large Neworks-Theory, Algorithms, and Models
Olatunji O. Ruwase	Todd Mowry	Improving Device Driver Reliability through Decoupled Dynamic Binary Analysis
Dafna Shahaf	Carlos Guestrin	Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs
Robert J. Simmons	Frank Pfenning	Substructural Logical Specifications
Kami Vaniea	Lorrie Cranor, Lujo Bauer	Proximity Displays for Access Control

Academic Year: 2011-2012
Name	Thesis Advisor(s)	Thesis Title
Eric Blais	Ryan O'Donnell	Testing Properties of Boolean Functions
Jason Douglas Franklin	Anupam Datta	Abstractions for Model Checking System Security
Anthony Gitter	Ziv Bar-Joseph	Identifying the Signaling Cascades and Regulatory Mechanisms that Control Stress Responses
Fan Guo	Christos Faloutsos	Mining and Querying Multimedia Data
U Kang	Christos Faloutsos	Mining Tera-Scale Graphs: Theory, Engineering and Discoveries
Kevin S. Killourhy	Roy Maxion	A Scientific Understanding of Keystroke Dynamics
Ravishankar Krishnaswamy	Anupam Gupta	Approximation Techniques for Stochastic Combinatorial Optimzation Problems
Lei Li	Christos Faloutsos	Fast Algorithms for Mining Co-evolving Time Series
Abraham Othman	Tuomas Sandholm	Automated Market Making: Theory and Practice
Stephanie L. Rosenthal	Anind Dey, Manuela M. Veloso	Human-Centered Planning for Effective Task Autonomy
Donald R. Sheehy	Gary Miller	Mesh Generation and Geometric Persistent Homology
Ali Kemal Sinop	Venkatesan Guruswami, Ryan O'Donnell	Graph Partitioning and Semi-definite Programming Hierarchies
Ronit Slyper	Jessica Hodgins	Sensing Through Structure
Kyung-Ah Sohn	Eric P. Xing	Learning Ancestral Genetic Processes using Nonparametric Bayesian Models
Kanat Tangwongsan	Guy Blelloch, Anupam Gupta	Efficient Parallel Approximation Algorithms
Michael Carl Tschantz	Anupam Datta, Jeannette Wing	Formalizing and Enforcing Purpose Restrictions
Vijay R. Vasudevan	David Andersen	Energy-efficient Data-intensive Computing with a Fast Array of Wimpy Nodes
Matthew Wachs	Greg Ganger	Performance Insulation: more predictable shared storage
Xin Zhang	Hui Zhang, Adrian Perrig	Secure and Efficient Network Fault Localization

Academic Year: 2010-2011
Name	Thesis Advisor(s)	Thesis Title
Sarah Aboutalib	Manuela Veloso	Multiple-Cue Object Recognition for Interactionable Objects
Mukesh Agrawal	Srinivasan Seshan	Spare a Little Change? Towards a 5-Nines Internet in 250 Lines of Code
Debabrata Dash	Anastasia Ailamaki	Automated Physical Design: A Combinatorial Optimzation Approach
Michael Dinitz	Anupam Gupta	Algorithms and Models for Problems in Networking
Varun Gupta	Mor Harchol-Balter	Stochastic Models and Analysis for Resource Management in Server Farms
Sumit Kumar Jha	Chrisopher J. Langmead	Model Validation and Discovery for Complex Stochastic Systems
Hetunandan Kamichetty	Chris J. Langmead, Eric P. Xing	Structured Probabilistic Models of Proteins across Spatial and Fitness Landscapes
Hyang-Ah Kim	David R. O’Hallaron, Peter Steenkiste	Privacy-Preserving Distributed, Automated Signature-Based Detection of New Internet Worms
Ruy Ley-Wild	Guy Blelloch	Programmable Self-Adjusting Computation
Daniel R. Licata	Robert Harper	Dependently Typed Programming with Domain-Specific Logics
Xi Liu	Srinivasan Seshan, Peter Steenkiste	Maximizing Spatial Reuse in Indoor Environments
William Lovas	Frank Pfenning	Refinement Types for Logical Frameworks
Stephen Magill	Peter Lee	Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs
James Lewis McCann	Nancy S. Pollard	Image Editing and Creation with Perception-Motivated Local Features
Aaron Roth	Avrim Blum	New Algorithms for Preserving Differential Privacy
Vyas Sekar	Michael K. Reiter, Hui Zhang	Effective Network Management via System-Wide Coordination and Optimization
Shafeeq Sinnamohideen	Gregory R. Ganger	Reusing Migration to Simply and Efficiently Implement Multi-server Operations in Transparently Scalable Storage Systems
Yi Wu	Ryan O’Donnell	The Approximability of Learning and Constraint Satisfaction Problems
Hong Yan	Hui Zhang	A Practical System for Centralized Network Control

Academic Year: 2009-2010
Name	Thesis Advisor(s)	Thesis Title
David John Abraham	R. Ravi	Matching Markets: Design and Analysis
Doru Cristian Balcan	Michael S. Lewicki	Efficient and Robust Signal Approximations
Haowen Chan	Adrian Perrig	Authenticated Communication and Computation in Known-Topology Networks with a Trusted Authority
Michael De Rosa	Seth Goldstein, Peter Chan	Locally Distributed Predicates: A Technique for Distributed Programming
Jonathan Carlyle Derryberry	Daniel Sleator, Chengwen Chris Wang	Adaptive Binary Search Trees
Deepak Garg	Frank Pfenning	Proof Theory for Authorization Logic and Its Application to a Practical File System
Lie Gu	Takeo Kanade	Robust Object Alignment
Nikolaos Hardavellas	Babak Falsafi, Anastasia Ailamaki	Chip Multiprocessors for Server Workloads
James Hays	Alexei A. Efros	Large Scale Scene Matching for Graphics and Vision
James Hendricks	Gregory R. Ganger, Michael K. Reiter	Efficient Byzantine Fault Tolerance for Scalable Storage and Services
Laura M. Hiatt	Reid Simmons	Probabilistic Plan Management
Rebecca A. Hutchinson	Tom M. Mitchell	Hidden Process Models
Ryan Christopher Kelly	Tai Sing Lee	Statistical Modeling of Spiking Activity in Large Scale Neuronal Networks
David Ryan Koes	Seth Copen Goldstein	Towards a More Principled Compiler: Register Allocation and Instruction Selection Revisited
Manfred Chung Man Lau	James Kauffner	Modeling Behavior and Variation for Crowd Animation
Katrina Ligett	Avrim Blum	A Learning Perspective on Selfish Behavior in Games
Donna Malayeri	Jonathan Aldrich	Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse
Jeffrey Anson Pang	Srinivasan Seshan	Quantifying and Mitigating Privacy Threats in Wireless Protocols and Services
Todd Phillips	Gary L. Miller	Efficient Mesh Generation for Piecewise Linear Complexes
Jason Reed	Frank Pfenning	A Hybrid Logical Framework
Indrayana Rustandi	Tom M. Mitchell	Predictive fMRI Analysis for Multiple Subjects and Multiple Studies
Jahanzeb Sherwani	Roni Rosenfeld, Alexander Rudnicky	Speech Interfaces for Information Access by Low Literate Users
Justin D. Weisz	Sara Kiesler, Hui Zhang	Collaborative Online Video Watching