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
-
Combining Deep and Shallow Embeddings, June 2020 at UPenn PLClub
I talk about borrowing Haskell's syntax and type system for programming an EDSL with effects, and symbolic execution on the resulting code.
Blog Posts
- Taming Heterogeneous Lists in Haskell - May 9, 2018