Wenchao Zhou    (

)  

 
PhD Candidate
Computer and Information Science Department
University of Pennsylvania

613 Levine Hall
3330 Walnut Street
Philadelphia, PA 19104-6389

Email: wenchaoz [at] cis.upenn.edu

Short Biography

My name is Wenchao Zhou, a.k.a. Steven. I am currently a 5th-year PhD student in Computer and Information Science Department at University of Pennsylvania, supervised by Prof. Boon Thau Loo. My primary research interest is distributed systems. In particular, I study the application of database technologies to networked systems, and declarative approaches to enforce secure distributed systems.

I am a member of the NetDB@Penn research group, and I have been working on the projects Secure Network Provenance (SNP), Declarative Secure Distributed Systems (DS2), Formally Verifiable Routing (FVR), Application Aware Anonymity (A3), and Distributed Monitoring and Checking (DMaC).

I was born and grew up in Shanghai, a metropolitan in eastern China. After finishing high school, I went to Beijing for college study. I received B.S.E. degree from Department of Computer Science and Technology at Tsinghua University. From Oct. 2005 to Jan. 2007, I was working as a visiting student at Microsoft Research Asia. I spent two great summers at Yahoo! Research (2010) and Microsoft Research Redmond (2011) in the past two years.

Job Application Material

I am currently in the market for a job in academia or in industry. My job application material is below. Please don't hesitate to contact me for additional information. Here are my Curriculum Vitae, Research Statement, and Teaching Statement.

Selected Publications

  • FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing
    • Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott.
    In the IEEE/ACM Transactions on Networking (ToN).
  • Secure Network Provenance
    • [paper] [talk]
    Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
    In the ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, Oct 2011. (18.4% acceptance)

  • A Batch of PNUTS: Experiences Connecting Cloud Batch and Serving Systems
    • [paper]
    Adam Silberstein, Russell Sears, Wenchao Zhou, and Brian F. Cooper
    In the ACM SIGMOD International Conference on Management of Data (SIGMOD), Athens, Greece, Jun 2011.

  • Efficient Querying and Maintenance of Network Provenance at Internet-Scale
    • [paper] [talk]
    Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, and Yun Mao
    In the ACM SIGMOD International Conference on Management of Data (SIGMOD), Indianapolis, IN, Jun 2010. (20.8% acceptance)

  • A3: An Extensible Platform for Application-Aware Anonymity
    • [paper]
    Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou and Boon Thau Loo
    In the Annual Network & Distributed System Security Symposium (NDSS), San Diego, CA, Feb 2010. (15.4% acceptance)

  • Unified Declarative Platform for Secure Networked Information Systems
    • [paper] [talk]
    Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martín Abadi
    In the International Conference on Data Engineering (ICDE), Shanghai, China, Apr 2009. (16.8% acceptance)

  • Recursive Computation of Regions and Connectivity in Networks
    • [paper]
    Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo
    In the International Conference on Data Engineering (ICDE), Shanghai, China, Apr 2009. (16.8% acceptance)
    A longer version appears in IEEE Transactions of Knowledge and Data Engineering (TKDE) Journal, 2010.
    Best Paper Award at ICDE'09.

  • Declarative Reconfigurable Trust Management
    • [paper] [talk]
    William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, and Boon Thau Loo
    In the Biennial Conference on Innovative Data Systems Research (CIDR), Pacific Grove, CA, Jan 2009.

Prototype Demonstrations

  • FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing
    • [paper] [talk]
    Wenchao Zhou, Yiqing Ren, Anduo Wang, Limin Jia, Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford
    In the ACM SIGCOMM Conference on Data Communication (SIGCOMM) - demo, Toronto, Canada, Aug, 2011.
    Runner-up for the ACM Student Research Competition at SIGCOMM'11.

  • NetTrails: A Declarative Platform for Provenance Maintenance and Querying in Distributed Systems
    • [paper]
    Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr
    In the ACM SIGMOD International Conference on Management of Data (SIGMOD) - demo, Athens, Greece, Jun 2011.

Papers and Demonstrations under Review

  • TapTrails: Provenance of Changes for Distributed Systems
    • Wenchao Zhou, Suyog Mapara, Yang Li, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr
    Under review for the ACM SIGMOD International Conference on Management of Data (SIGMOD).

  • Specification and Optimization of Real-Time Cloud-Edge Applications
    • Wenchao Zhou, Badrish Chandramouli, and Suman Nath
    Under review for the ACM SIGMOD International Conference on Management of Data (SIGMOD).

  • Declarative Time-aware Provenance in Distributed Systems with TapTrails (demonstration)
    • Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr
    Under review for the ACM SIGMOD International Conference on Management of Data (SIGMOD).

  • RACE: Real-time Applications over Cloud-Edge (demonstration)
    • Badrish Chandramouli, Joris Claessens, Suman Nath, Ivo Santos, and Wenchao Zhou
    Under review for the ACM SIGMOD International Conference on Management of Data (SIGMOD).

  • Private and Verifiable Interdomain Routing Decisions
    • Mingchen Zhao, Wenchao Zhou, Alexander J.T. Gurney, Andreas Haeberlen, Micah Sherr, and Boon Thau Loo
    Under review for the ACM SIGCOMM Conference on Data Communication (SIGCOMM).

  • Declarative Secure Distributed Information Systems
    • Wenchao Zhou, Tao Tao, Boon Thau Loo, and Yun Mao
    Under review for the International Journal of Computer Languages, Systems & Structures (COMLAN).

  • The Design and Implementation of the A3 Application-Aware Anonymity Platform
    • Micah Sherr, Harjot Gill, Taher Aquil Saeed, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, Matt Blaze
    Under review for the International Journal of Computer Networks (COMNET).

Books

  • Declarative Networking (Synthesis Lectures on Data Management)
    • Boon Thau Loo, Wenchao Zhou, and M. Tamer Ozsu
    Morgan & Claypool Publishers (Invited)

Grants

  • TC: Small: Collaborative Research: Towards a Formal Framework for Analyzing and Implementing Secure Routing Protocols. Boon Thau Loo (PI), Limin Jia (PI), and Wenchao Zhou (Senior Personnel), $499,000.

Other Publications

  • Recent Advances in Declarative Networking
    • [paper]
    Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, and Wenchao Zhou
    In the International Symposium on Practical Aspects of Declarative Languages (PADL), Philadelphia, PA, Jan 2012.

  • Having your Cake and Eating it too: Routing Security with Privacy Protections
    • [paper]
    Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, and Boon Thau Loo
    In the ACM Workshop on Hot Topics in Networks (HotNets-X), Cambridge, MA, Nov 2011. (20.2% acceptance)

  • TAP: Time-aware Provenance for Distributed Systems
    • [paper] [talk]
    Wenchao Zhou, Ling Ding, Andreas Haeberlen, Zachary Ives, and Boon Thau Loo
    In the USENIX Workshop on the Theory and Practice of Provenance (TaPP), Heraklion, Greece, June 2011.

  • Towards a Data-centric View of Cloud Security
    • [paper] [talk]
    Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, and Insup Lee
    In the Workshop on Cloud Data Management (CloudDB), in conjunction with CIKM, Toronto, Canada, Oct 2010.

  • DMaC: Distributed Monitoring and Checking
    • [paper] [talk]
    Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, and Insup Lee
    In the International Workshop on Runtime Verification (RV), Grenoble, France, Jun 2009.

  • Provenance-aware Secure Networks
    • [paper] [talk]
    Wenchao Zhou, Eric Cronin, and Boon Thau Loo
    In the Workshop on Networking meets Databases (NetDB), in conjunction with ICDE, Cancun, Mexico, Apr 2008.

Honors and Awards

  • Runner-up, ACM Student Research Competition at SIGCOMM'11, Toronto, Canada, 2011.
  • Best paper award at ICDE'09, Shanghai, China, 2009.
  • Excellent Graduate of Tsinghua University, Beijing, China, 2006
  • 4th Place, the 2nd National Business Management Competition, Beijing, China, 2006
  • 2nd Place, ACM International Collegiate Programming Contest Asia Division, Beijing, China, 2004
  • Dongfeng Motor Group Co. Scholarship, Tsinghua University, Beijing, China 2004
  • Gold Medal, the 18th National Olympiad in Informatics, Xi'an, China, 2001

Teaching Experience

Professional Activities

  • Reviewer, International Conference on Very Large Data Bases (VLDB), 2007/2008/2009/2010
  • Reviewer, Biennial Conference on Innovative Data Systems Research (CIDR), 2009
  • Reviewer, International Conference on Data Engineering (ICDE), 2009
  • Reviewer, Conference on Computer Communications (InfoCom), 2009
  • Reviewer, International Workshop on Peer-to-Peer Systems (IPTPS), 2010
  • Reviewer, Transactions on Programming Languages and Systems (TOPLAS), 2007