SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2020-2021
Name Thesis Advisor(s) Thesis Title
Evan Shimizu Kayvon Fatahalian, James McCann Improving Parameterized Design with Interactive User-Guided Sampling and Parameter Identification Tools
Rui Silva Manuela Veloso, Francisco Melo Counterfactual MDPs: Planning Beyond Direct Control
Dana Van Aken Andy Pavlo On Automatic Database Management System Tuning Using Machine Learning
David Wajc Bernhard Haeupler Matching Theory under Uncertainty
Tianlong Yu Srinivasan Seshan, Vyas Sekar Securing Internet-of-Things via Fine-grained Network Detection and Prevention
Yimeng Zhang Tai Sing Lee Modeling early visual cortex using neural network models with recurrent circuits
Qing Zheng George Amvrosiadis, Garth Gibson Distributed Metadata and Streaming Data Indexing as Scalable Filesystem Services
Goran Žužić Bernhard Haeupler Towards Universal Optimality in Distributed Optimization
Academic Year: 2019-2020
Name Thesis Advisor(s) Thesis Title
Carlo Angiuli Robert Harper Computational Semantics of Cartesian Cubical Type Theory
Vijay Bhattiprolu Venkatesan Guruswami On the Approximability of Injective Tensor Norm
Logan Brooks Roni Rosenfeld Pancasting: forecasting epidemics from provisional data
Zack Coker Claire LeGoues Automatic repair of framework applications
Dhivya Eswaran Christos Faloutsos Mining Anomalies Using Static and Dynamic Graphs
Hannah Gommerstadt Frank Pfenning, Limin Jia Session-Typed Concurrent Contracts
Angela Jiang Greg Ganger Improving Deep Learning Training and Inference with Dynamic Hyperparameter Optimization
Anuj Kalia David Andersen Efficient Remote Procedure Calls for Datacenters
Conglong Li David Andersen Learned Adaptive Accuracy-Cost Optimization for Machine Learning Systems
Nicolas Resch Bernard Haeupler, Venkat Guruswami List-Decodable Codes: (Randomized) Constructions and Applications
Yihan Sun Guy Blelloch Join-based Parallel Balanced Binary Trees
Junjue Wang Mahadev Satyanarayanan Scaling Wearable Cognitive Assistance
Jinliang Wei Garth Gibson, Eric Xing Scheduling for Efficient Large-Scale Machine Learning Training
Huanchen Zhang David Andersen Memory-Efficient Search Trees for Database Management Systems
Dong Zhou David G. Andersen Data Structure Engineering for High Performance Software Packet Processing
Academic Year: 2018-2019
Name Thesis Advisor(s) Thesis Title
Brandon Amos Zico Kolter Differentiable Optimization-Based Modeling for Machine Learning
Joy Arulraj Andy Pavlo The Design and Implementation of a Non-Volatile Memory Database Management System
Ben Blum Garth Gibson Practical Concurrency Testing or: How I Learned to Stop Worrying and Love the Exponential Explosion
Se-Joon Chung Nancy Pollard Hand Pose Estimation and Prediction for Virtual Reality Applications
Travis Dick Nina Balcan Machine Learning: Social Values, Data Efficiency, and Beyond Prediction
Shayan Doroudi Emma Brunskill Integrating Human and Machine Intelligence for Enhanced Curriculum Design
Nathan Fulton Andre Platzer Verifiably Safe Autonomy for Cyber-Physical Systems
Yan Gu Guy Blelloch Write-Efficient Algorithms
Zhaohan Daniel Guo Emma Brunskill Directed Exploration for Improved Sample Efficiency in Reinforcement Learning
Guru Guruganesh Anupam Gupta Topics in Approximation and Online Algorithms
Nika Haghtalab Avrim Blum, Ariel Procaccia Foundation of Machine Learning, by the People, for the People
Yong He Kayvon Fatahalian Slang -- A Shader Compilation System for Extensible, Real-Time Shading
Jin Kyu Kim Garth Gibson, Eric Xing Framework Design for Improving Computational Efficiency and Programming Productivity for Distributed Machine Learning
Christian Kroer Tuomas Sandholm Large-Scale Sequential Imperfect-Information Game Solving: Theoretical Foundations and Practical Algorithms with Guarantees
Stefan K. Muller Umut Acar Responsive Parallel Computation
Yuzuko Nakamura Nancy Pollard Understanding and applying human grasping to artificial manipulators
Jun Woo Park Greg Ganger Distribution-based cluster scheduling
Vittorio Perera Manuela Veloso Language-Based Bidirectional Human And Robot Interaction Learning For Mobile Service Robot
Kijung Shin Christos Faloutsos Mining Large Dynamic Graphs and Tensors
Sahil Singla Manuel Blum, Anupam Gupta Combinatorial Optimization Under Uncertainty: Probing and Stopping-Time Algorithms
Wennie Tabib Nathan Michael, Red Whittaker Approximate Continuous Belief Distributions for Exploration
Joseph Tassarotti Robert Harper Verifying Concurrent Randomized Algorithms
Colin White Maria Florina Balcan New Aspects of Beyond Worst-Case Analysis
Zichao Yang Taylor Berg-Kirkpatrick, Eric Xing Incorporating Structural Bias into Neural Networks for Natural Language Processing
Academic Year: 2017-2018
Name Thesis Advisor(s) Thesis Title
Zhuo Chen Mahadev Satyanarayanan An Application Platform for Wearable Cognitive Assistance
Jesse Dunietz Jaime Carbonell, Lori Levin Annotating and Automatically Tagging Constructions of Causal Language
Siddhartha Jain Ziv Bar-Joseph Inferring Temporal Signaling Pathways and Regulatory Mechanisms from High-Throughput Data
Junchen Jiang Vyas Sekar, Hui Zhang Enabling Data-Driven Optimization of Quality of Experience in Internet Applications
Ashiqur Khudabukhsh Jaime Carbonell Distributed Learning in Referral Networks
David Kurokawa Ariel Procaccia Algorithms in Fair Division
Yixin Luo Onur Mutlu Architectural Techniques for Improving NAND Flash Memory Reliability
Matthew K. Mukerjee Srinivasan Seshan Eliminating Adverse Control Plane Interactions in Independent Network Systems
David Naylor Peter Steenkiste Architectural Support for Managing Privacy Tradeoffs in the Internet
Ligia Nicoleta Nistor Jonathan Aldrich Object Propositions
Kai Ren Garth Gibson Fast Storage for File System Metadata
Shayak Sen Anupam Datta Influence-directed Explanations for Machine Learning
Neil Shah Christos Faloutsos Anomaly Detection in Large Social Graphs
Michael J. Sullivan Karl Crary Low-level Concurrent Programming Using the Relaxed Memory Calculus
Bruno Vavala Nuno Neves, Peter Steenkiste Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions
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