SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2012-2013
Name Thesis Advisor(s) Thesis Title
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 Optimization 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 Optimization 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
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