Hengchu Zhang

According to our database, Hengchu Zhang authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

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

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Testing differential privacy with dual interpreters.

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

Proc. ACM Program. Lang., 2020

Orchard: Differentially Private Analytics at Scale.

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

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Fuzzi: a three-level logic for differential privacy.

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

Proc. ACM Program. Lang., 2019

2018

Keep your laziness in check.

Kenneth Foner, Hengchu Zhang, Leonidas Lampropoulos

Proc. ACM Program. Lang., 2018