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