I received a PhD in Computer Science from University of Pennsylvania in 2021.

Projects

  • FuzziDP An embedded domain specific language and a testing framework that uses probability distribution coupling and symbolic execution for push-button testing of Differential Privacy
  • Fuzzi An extensible and imperative programming language for Differential Privacy
  • DeepSpec Web Server A formally verified HTTP/2 server running on a verified OS
  • StrictCheck A Haskell library for writing and testing precise specifications of non-strictness

Publications

  • Verifying an HTTP Key-Value Server with Interaction Trees and VST

    By Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-Yao Xia, Lennart Beringer, William Mansky, Benjamin Pierce, Steve Zdancewic

    12th International Conference on Interactive Theorem Proving (ITP 2021)

  • Orchard: Differentially Private Analytics at Scale

    By Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce

    14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)

  • Testing Differential Privacy with Dual Interpreters

    By Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

    Proceedings of the ACM on Programming Languages Volume 4 Issue OOPSLA, November 2020

  • Fuzzi: A Three-Level Logic for Differential Privacy

    By Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

    Proceedings of the ACM on Programming Languages Volume 3 Issue ICFP, July 2019

  • Keep Your Laziness in Check

    By Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos

    Proceedings of the ACM on Programming Languages Volume 2 Issue ICFP, September 2018

Talks/Personal Projects

Blog Posts

Contact

hengchu at seas dot upenn dot edu