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