SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2026-2027
Name Thesis Advisor(s) Thesis Title
Christopher Canel Srinivasan Seshan Dual-Endpoint Congestion Control
Shawn Shuoshuo Chen Srinivasan Seshan, Peter Steenkiste Reshaping Data Center Networks with Reconfigurability
Myra Dotzel Limin Jia, Farzaneh Derakhshan Logical Foundations of Intermittent Computing
Nicole Feng Keenan Crane Algorithms for Generalized Signed Distance and Winding Numbers
Alexander Koujianos Goldberg Giulia Fanti, Nihar B. Shah Improving Decision-Making from Distributed Human Evaluations
Yige Hong Weina Wang Structural Methods for Large Stochastic Systems
Lingjing Kong Kun Zhang, Yuejie Chi (Yale University), Eric Xing Causal AI for Transferable, Interpretable, and Controllable Machine Learning
Bailey Mark Miller Ioannis Gkioulekas Monte Carlo Methods for Linear Elliptic Boundary Value Problems
Kaiyang Zhao Dimitrios Skarlatos Architecting Memory Efficiency in Modern Data Centers
Academic Year: 2025-2026
Name Thesis Advisor(s) Thesis Title
Adithya Abraham Philip Justine Sherry Accurately Parameterizing Internet Performance Testing for Realistic Evaluations
Anup Agarwal Srinivasan Seshan Designing Network Control Algorithms with Performance Guarantees
Nirav Atre Justine Sherry Taming Model Incongruities in Networked Systems
Costin Bādescu Ryan O'Donnell Improved bounds for state certification, separability testing, and shadow tomography
Dorian Chan Matthew O'Toole Holographic Illumination for Computer Vision
Jun-Ting Hsieh Pravesh K. Kothari Algorithms and Explicit Constructions via Spectral Techniques
Suhas Jayaram Subramanya Greg Ganger Efficient and Responsive Job-Resource Co-adaptivity for Deep Learning Workloads in Large Heterogeneous GPU Clusters
Aditi Kabra André Platzer, Stefan Mitsch Verified Control Envelope Synthesis
Arjun Sriram Lakshmikpathy Nancy S. Pollard Contact Areas for Dexterous Manipulation and Beyond
Jonathan Laurent André Platzer Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
Meng-Chieh Lee Christos Faloutsos, Leman Akoglu Explainable Mining of Graphs and Time Series: Algorithms and Applications
Wan Shen Lim Andrew Pavlo Database Gyms: Towards Autonomous Database Tuning
Honghao Lin David P. Woodruff Algorithms for Massive Data: Optimal Bounds, Adversarial Robustness, and Data-Driven Insights
Sara McAllister Nathan Beckmann, Gregory R. Ganger Toward Sustainable Datacenters through Efficient Data Retrieval
Caspar Oesterheld Vincent Conitzer New foundational ideas in cooperative AI
Hojin Park George Amvrosiadis, Gregory R. Ganger Cost-Efficient Storage and Caching in Public Clouds
Long Pham Jan Hoffmann Hybrid Resource-Bound Analyses of Programs
Madhusudhan Reddy Pittu David Woodruff, Anupam Gupta Fairness, Diversity, Explainability, and Robustness for Algorithmic Decision-Making
Siddharth Prasad Maria-Florina Balcan, Tuomas Sandholm Mechanism Design and Integer Programming in the Data Age
Joseph E. Reeves Marijn J.H. Heule, Randal E. Bryant Cardinality Constraints in Boolean Satisfiability Solving
Nuno Sabino Limin Jia Improving Code-Injection Vulnerability Detection and Confirmation in JS Programs
Benjamin Stoler Jean Oh Towards Robust Autonomous Driving and Social Robot Navigation via Enhanced Data Utilization
Mingjie Sun Elaine Shi, Guilia Fanti Hidden Properties of Large Language Models
Arjun Teh Ioannis Gkioulekas, Matthew O'Toole Computational Lens Design
Catalina Vajiac Christos Faloutsos Detection and Visualization of Human Sex Trafficking in Online Escort Advertisements
Joshua Nathaniel Williams J. Zico Kolter Understanding Representations of Humans in Generative Image Modeling Through Discrete Counterfactual Prompt Optimization
Jeff (Sichao) Xu Pravesh K. Kothari Spectral Techniques for Average-Case Complexity
Mingkuan Xu Zhiohao Jia, Umut A. Acar Optimization and Simulation of Quantum Circuits
Emre Yolcu Marijn J.H. Heule Proof Complexity of Resolution-Based Systems: Lower Bounds, Simulations, and Applications to SAT Solving
Brian Hu Zhang Tuomas Sandholm New Solution Concepts and Algorithms for Equilibrium Computation and Learning in Extensive-Form Games and Beyond
William Zhang Andrew Pavlo On Holistic Database Optimization via Leveraging Similarity Across Actions, Workloads, Configurations, and Scenarios
Mingxun Zhou Elaine Shi, Guilia Fanti Private Information Retrieval and Searching with Sublinear Costs
Andy Zou J. Zico Kolter, Matt Fredrikson Improving Security and Safety of Generative Models
Academic Year: 2024-2025
Name Thesis Advisor(s) Thesis Title
Jatin Arora Umut A. Acar Provably Efficient Coscheduling of Computation and Memory through Disentanglement
Mihir Bala Mahadev Satyanarayanan Towards Fully-Autonomous Ultralight Drones
Lucio Mwinmaarong Dery Graham Neubig, Ameet Talwalkar On Resource Efficient Transfer Learning via End Task Aware Training
Magdalen Dobson Manohar Guy E. Blelloch New Techniques for Parallelism and Concurrency in Nearest Neighbor Search
Travis Hance Bryan Parno Verifying Concurrent Systems Code
Ananya Joshi Roni Rosenfeld, Bryan Wilder Event Monitoring in Modern Public Health Data Streams
Praneeth Kacham David P. Woodruff On Efficient Sketching Algorithms
David M. Kahn Jan Hoffmann Leveraging Linearity to Improve Automatic Amortized Resource Analysis
Shiva Kaul Geoffrey Gordon Classical Improvements to Modern Machine Learning
Mikhail Khodak Maria-Florina Balcan, Ameet Talwalkar The Learning of Algorithms and Architectures
Jenny Lin James McCann Formalizing Object Equivalence in Machine Knitting
Peter Manohar Venkatesan Guruswami, Pravesh K. Kothari New Spectral Techniques in Algorithms, Combinatorics, and Coding Theory: The Kikuchi Matrix Method
Elisaweta Masserova Bryan Parno, Vipul Goyal Distributed Cryptography as a Service
Yue Niu Robert Harper Cost-sensitive Programming, Verification, and Semantics
Justin Raizes Vipual Goyal Quantum Approaches to Verifiable Deletion
Dravyansh Sharma Maria-Florina Balcan Data-Driven Algorithm Design and Principled Hyperparameter Tuning in Machine Learning
Eric Mark Sturzinger Mahadev Satyanarayanan Survival-Critical Machine Learning
Asher James Trockman J. Zico Kolter Mimetic Initialization for Deep Neural Networks
Haithem Turki Deva Ramanan Towards City-Scale Neural Rendering
Ranysha Ware Justine Sherry, Srinivasan Seshan Battle for Bandwidth: On the Deployability of New Congestion Control Algorithms
Justin Alexander Whitehouse Zhiwei Steven Wu, Aaditya Ramdas Modern Martingale Methods: Theory and Applications
Daniel Lin-Kit Wong Gregory R. Ganger Machine Learning for Flash Caching in Bulk Storage Systems
Juncheng Yang Rashmi Vinayak Designing Efficient and Scalable Key-value Cache Management Systems
Minji Yoon Christos Faloutsos, Ruslan Salakhutdinov Deep Learning on Graphs: Tackling Scalability, Privacy, and Multimodality
Runtian Zhai Pradeep Ravikumar, Zico Kolter Contextures: The Mechanism of Representation Learning
Yi Zhou Bryan Parno Towards Scalable Automated Program Verification for System Software
Anders Øland Roger Dannenberg, Bhiksha Raj Efficient Deep Learning
Academic Year: 2023-2024
Name Thesis Advisor(s) Thesis Title
Daniel Anderson Guy E. Blelloch Parallel Batch-Dynamic Algorithms Dynamic Trees, Graphs, and Self-Adjusting Computation
Jay Bosamiya Bryan Parno A Principled Approach towards Unapologetic Security
Matthew Butrovich Andrew Pavlo On Embedding Database Management System Logic in Operating Systems via Restricted Programming Environments
Bailey Flanigan Ariel Procaccia Expanding our Participatory Democracy Toolkit using Algorithms, Social Choice, and Social Science
Mark Gillespie Keenan Crane Evolving Intrinsic Triangulations
Isaac Grosof Mor Harchol-Balter Optimal Scheduling in Multiserver Queues