Hengchu Zhang

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 7

Top Topics

Contingency Tables

Differential Privacy

Tree Structures

Differentially Private

Top Venues

Proc. ACM Program. Lang.

Publications

Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP (2021)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Testing differential privacy with dual interpreters. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Edo Roth, Hengchu Zhang, Andreas Haeberlen, Benjamin C. Pierce
Orchard: Differentially Private Analytics at Scale. OSDI (2020)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Testing Differential Privacy with Dual Interpreters. CoRR (2020)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Fuzzi: a three-level logic for differential privacy. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Fuzzi: A Three-Level Logic for Differential Privacy. CoRR (2019)
Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos
Keep your laziness in check. Proc. ACM Program. Lang. 2 (ICFP) (2018)