Doctoral Degrees Conferred

Academic Year: 2017-2018
Name	Thesis Advisor(s)	Thesis Title
Hongyi Xin	Carl Kingsford	Methods for Reducing Unnecessary Computation on False Mappings in Read Mapping
Shen Chen Xu	Gary Miller	Exponential Start Time Clustering and its Applications in Spectral Graph Theory
Danny Zhu	Manuela Veloso	Augmented Reality Visualization for Autonomous Robots

Academic Year: 2016-2017
Name	Thesis Advisor(s)	Thesis Title
Miguel Araújo	Christos Faloutsos, Pedro Ribeiro	Communities and Anomaly Detection in Large Edge-Labeled Graphs
John P. Dickerson	Tuomas Sandholm	A Unified Approach to Dynamic Matching and Barter Exchange
Kristen Gardner	Mor Harchol-Balter	Modeling and Analyzing Systems with Redundancy
Kuen-Bang Hou	Robert Harper	Higher-Dimensional Types in the Mechanization of Homotopy Theory
Euiwoong Lee	Venkatesan Guruswami	Optimal Approximabilities beyond CSPs
Mu Li	David G. Andersen, Alexander J. Smola	Scaling Distributed Machine Learning with System and Algorithm Co-design
Cyrus Omar	Jonathan Aldrich	Reasonably Programmable Syntax
Evangelos E. Papalexakis	Christos Faloutsos	Mining Large Multi-Aspect Data: Algorithms and Applications
Gennady G. Pekhimenko	Todd Mowry, Onur Mutlu	Practical Data Compression for Modern Memory Hierarchies
Nisarg Shah	Ariel Procaccia	Optimal Social Decision Making
Kristina Sojakova	Steven Awodey, Frank Pfenning	Higher Inductive Types as Homotopy-Initial Algebras
Dougal Sutherland	Jeff Schneider	Scalable, Flexible and Active Learning on Distributions
Ameya A. Velingker	Venkat Guruswami	New Directions in Coding Theory: Capacity and Limitations
Qinsi Wang	Edmund Clarke	Formal Methods for Biological Systems: Languages, Algorithms, and Applications
Xuezhi Wang	Jeff Schneider	Active Transfer Learning
David Witmer	Anupam Gupta, Ryan O'Donnell	Refutation of random constraint satisfaction problems using the sum of squares proof system
Timothy Zhu	Mor Harchol-Balter	Meeting tail latency SLOs in shared networked storage

Academic Year: 2015-2016
Name	Thesis Advisor(s)	Thesis Title
Yoshihisa Abe	Mahadev Satyanarayanan	Liberating Virtual Machines from Physical Boundaries through Execution Knowledge
Alex Beutel	Christos Faloutsos, Alexander Smola	User Behavior Modeling with Large-Scale Graph Analysis
Flávio Manuel Fernandes Cruz	Seth Goldstein, Frank Pfenning, Ricardo Rocha	Linear Logic and Coordination for Parallel Programming
Danai Koutra	Christos Faloutsos	Exploring and Making Sense of Large Graphs
Akshay Krishnamurthy	Aarti Singh	Interactive Algorithms for Unsupervised Learning
Hyeontaek Lim	David Andersen	Resource-Efficient Data-Intensive System Designs for High-Performance and Capacity
Sarah M. Loos	Andre Platzer	Differential Refinement Logic
Chris Martens	Karl Crary, Frank Pfenning	Programming Interactive Worlds with Linear Logic
Rui Meireles	Peter Steenkiste, João Barros	Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks
Filipe David Oliveira Militão	Johnathan Aldrich, Luis Caires	Rely-Guarantee Protocols for Safe Interference over Shared Memory
Dana Movshovitz-Attias	William Cohen	Grounded Knowledge Bases for Scientific Domains
Yair Movshovitz-Attias	Takeo Kanade, Yaser Sheikh	Dataset Curation through Renders and Ontology Matching
Jakub Pachocki	Gary Miller	Graphs and Beyond: Faster Algorithms for High Dimensional Convex Optimization
Michael K. Papamichael	James Hoe	Pandora: Facilitating IP Development for Hardware Specialization
Wolfgang Richter	Mahadev Satyanarayanan	Agentless Cloud-wide Monitoring of Virtual Disk State
Mehdi Samadi	Manuel Blum, Manuela Veloso	Facts and Reasons: Web Information Qurying to Support Agents and Human Decision Making
Vivek Seshadri	Todd Mowry, Onur Mutlu	Simple DRAM and Virutal Memory Abstractions to Enable Highly Efficient Memory Subsystems
Carol Wang	Venkat Guruswami, Anupam Gupta	Beyond unique decoding: topics in error-correcting codes
Richard Wang	Srinivasan Seshan, Manuela Veloso	Collecting, Analyzing, and Using Fine-Grain Sensor Data with Mobile Platforms
Gabriel Leonard Weisz	James Hoe	CoRAM++: Supporting Data-Structure-Specific Memory Interface in FPGA Computing
John Wright	Ryan O'Donnell	How to Learn a Quantum State

Academic Year: 2014-2015
Name	Thesis Advisor(s)	Thesis Title
Athula Balachandran	Srinivasan Seshan, Vyas Sekar	Large Scale Data Analytics of User Behavior for Improving Content Delivery
Jeremiah Blocki	Manuel Blum, Anupam Datta	Usable Human Authentication: A Quantitative Treatment
James Cipar	Greg Ganger	Trading Freshness for Performance in Distributed Systems
Sam Ganzfried	Tuomas Sandholm	Computing Strong Game-Theoretic Strategies and Exploiting Suboptimal Opponents in Large Games
Michelle Leah Goodstein	Todd Mowry	Dataflow Analysis-Based Dynamic Parallel Monitoring
Jennifer Hyde	Jessica Hodgins, Sara Kiesler	Designing Animated Human Characters as Conversational Partners: The Effect of Facial Expressiveness on Social Outcomes
Anvesh Komuravelli	Edmund Clarke	Compositional Verification with Abstraction, Learning, and SAT Solving
Jayant Krishnamurthy	Tom Mitchell	Learning to Understand Natural Languages with Less Human Effort
Seunghak Lee	Eric Xing	Structured Sparse Models and Algorithms for Genetic Analysis
Brendan Meeder	Manuel Blum, Luis Von Ahn	Network Structure and its Influence on User Behavior
Jamie Morgenstern	Avrim Blum, Frank Pfenning	Market Algorithms: Incentives, Learning, and Privacy
Ankit Sharma	Avrim Blum, Anupam Gupta	Resource Allocation under Incentive, Information, and Complexity Constraints
Julian Shun	Guy Blelloch	Shared Memory Parallelism Can Be Simple, Fast, and Scalable
Matthew Luchak Stanton	Adrien Treuille, Kayvon Fatahalian	Data-Driven Methods for Interactive Simulation of Complex Phenomena
Leigh Ann Sudol-DeLyser	Mark Stehlik, Sharon Carver	AbstractTutor: Increasing Algorithm Implementation Expertise for Novices Through Algorithmic Feedback
Ekaterina Taralova	Martial Hebert, Fernando De la Torre	Feature Quantization and Pooling for Videos
Bernardo Parente Coutinho Fernandes Toninho	Frank Pfenning, Luis Caires	A Logical Foundation for Session-based Concurrent Copmutation
Yuan Zhou	Venkatesan Guruswami, Ryan O'Donnell	New Directions in Approximation Algorithms and Hardness of Approximation

Academic Year: 2013-2014
Name	Thesis Advisor(s)	Thesis Title
Bin Fan	David G. Andersen	Algorithmic Engineering Towards More Efficient Key-Value Systems
Bin Fu	Jaime Carbonell, Eugene Fink	Algorithms for Large-Scale Astronomical Problems
Anshul Gandhi	Mor Harchol-Balter	Dynamic Server Provisioning for Data Center Power Management
Alexander Grubb	J. Andrew Bagnell	Anytime Prediction: Efficient Ensemble Methods for Any Computational Budget
Severin Benedict Hans Hacker	Roger Dannenberg	Duolingo: Learning a Language While Translating the Web
Ning Hu	Roger Dannenberg	Automatic Construction of Synthetic Musical Instruments and Performers
Gunhee Kim	Eric Xing	Reconstruction and Applications of Collective Storylines from Web Photo Collections
William Klieber	Ed Clarke	Formal Verification Using Quantified Boolean Formulas (QBF)
Aapo Kyrola	Guy Blelloch, Carlos Guestrin	Large-scale Graph Computation on Just a PC
Nan Li	William Cohen, Kenneth Koedinger	Integrating Representation Learning and Skill Learning in a Human-Like Intelligent Agent
Jialiu Lin	Jason Hong, Norman Sadeh	Understanding and Capturing People's Mobile App Privacy Preferences
Iulian Moraru	David Andersen	Egalitarian Distributed Consensus
Richard Peng	Gary Miller	Algorithm Design Using Spectral Graph Theory
Pongsin Poosankam	Dawn Song	Scaling Dynamic Symbolic Execution of Binary Programs for Security Applications
Or Sheffet	Avrim Blum	Beyond Worst-Case Analysis in Privacy and Clustering: Exploiting Explicit and Implicit Assumptions
Harsha Vardhan Simhadri	Guy Blelloch	Program-Centric Cost Models For Locality and Parallelism