PhDs graduating December 2020


Student Advisor Dissertation Title
Anubhavnidhi Abhashkumar Aditya Akella Towards Automated Network Policy Management
Jason Thomas 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 John O’Neill Stephen Wright Algorithms for Smooth Nonconvex Optimization with Worst-Case Guarantees
Ayon Sen Jerry 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
Sankararam Kausik Subramanian Aditya Akella and Loris D’Antoni Synthesis and Verification for Intent-based Networking