• Program Synthesis for Declarative Systems [Thesis]. Haoxian Chen. University of Pennsylvania Ph.D. dissertation, 2023.
  • Hyperscale Data Processing with Network-Centric Designs [Thesis]. Qizhen Zhang. University of Pennsylvania Ph.D. dissertation, 2022. Rubinoff Award for best Computer Science dissertation at the University of Pennsylvania.
  • Practical Network Programming Automation [Thesis]. Lei Shi. University of Pennsylvania Ph.D. dissertation, 2022.
  • Service Boosters: Library Operating Systems for the Data Center [Thesis]. Henri Maxime Demoulin. University of Pennsylvania Ph.D. dissertation, 2021.
  • Unifying Static and Runtime Analysis in Declarative Distributed Systems [Thesis]. Chen Chen. University of Pennsylvania Ph.D. dissertation, 2017.
  • Improving Network Performance Through Endpoint Diagnosis and Multipath Communications [Thesis]. Behnaz Arzani. University of Pennsylvania Ph.D. dissertation, 2017. Rubinoff Award for best Computer Science dissertation at the University of Pennsylvania.
  • Computing with Distributed Information [Thesis]. Yang Li. University of Pennsylvania Ph.D. dissertation, 2017.
  • High-level Abstractions for Programming Network Policies [Thesis]. Yifei Yuan. University of Pennsylvania Ph.D. dissertation, 2016.
  • Incremental Processing and Optimization of Update Streams [Thesis]. Mengmeng Liu. University of Pennsylvania Ph.D. dissertation, 2016.
  • Scalable and Anonymous Group Communication [Thesis]. Dong Lin. University of Pennsylvania Ph.D. dissertation, 2015.
  • Performance Modeling and Resource Management for MapReduce Applications. [Thesis]. Zhuoyao Zhang. University of Pennsylvania Ph.D. dissertation, 2014. Honorable Mention for SPEC Distinguished Dissertation Award (2014).
  • Automated Formal Analysis of Internet Routing Configurations. [Thesis]. Anduo Wang. University of Pennsylvania Ph.D. dissertation, 2013.
  • Automated Cloud Resource Orchestration. [Thesis]. Changbin Liu. University of Pennsylvania Ph.D. dissertation, 2012.
  • Secure Time-aware Provenance for Distributed Systems. [Thesis]. Wenchao Zhou. University of Pennsylvania Ph.D. dissertation, 2012. Honorable Mention for SIGMOD Jim Gray Doctoral Dissertation Award (2013).
  • Coordinate-Based Routing for High Performance Anonymity. [Thesis]. Micah Sherr. University of Pennsylvania Ph.D. dissertation, 2009. Rubinoff Award for best Computer Science dissertation at the University of Pennsylvania.
  • A Unified Data-centric Approach towards an Extensible Internet Architecture. [Thesis]. Yun Mao. University of Pennsylvania Ph.D. dissertation, 2008.
  • The Design and Implementation of Declarative Networks. [Thesis]. Boon Thau Loo. UC Berkeley Ph.D. Thesis, Dec 2006. 2006 David J. Sakrison Memorial Prize (best EECS dissertation research at UC Berkeley). 2007 ACM SIGMOD Dissertation Award.