SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

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