SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2016-2017
Name Thesis Advisor(s) Thesis Title
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 Querying to Support Agents and Human Decision Making
Vivek Seshadri Todd Mowry, Onur Mutlu Simple DRAM and Virtual 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 Computation
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
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