| 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 |