| Student | Advisor | Dissertation |
| Anubhavnidhi Abashkumar | Aditya Akella | Towards Automated Network Policy Management |
| Moayad Alnammi | Anthony Gitter | Iterative Batched Screening and Active Learning in Drug Discovery |
| Jason Breck | Thomas Reps | Enhancing Algebraic Program Analysis |
| David Bingham Brown | Thomas Reps | Mutation Testing: Algorithms and Applications |
| Samuel E P Drews | Aws Albarghouthi and Loris D’Antoni | Fairness, Correctness, and Automation |
| Aishwarya Ganesan | Remzi Arpaci-Dusseau and Andrea Arpaci-Dusseau | Efficient and Correct Durability in Distributed Storage Systems |
| Yanfang Le | Micheal Swift and Aditya Akella | Improving Datacenter Performance with Network Offloading |
| Michael O’Neill | Stephen Wright | Algorithms for Smooth Nonconvex Optimization with Worst-Case Guarantees |
| Ayon Sen | Jerrry Zhu | Learning with the Help of a Teacher |
| Shuai Shao | Jin-Yi Cai | Complexity Classification of Counting Problems on Boolean Variables |
| Calvin James Smith | Aws Albarghouthi | Program Synthesis for Privacy-Preserving Data Access |
| Sankararaman Kausik Subramanian | Aditya Akella and Loris D’Antoni | Synthesis and Verification for Intent-based Networking |