Follow
Hengchu Zhang
Title
Cited by
Cited by
Year
Orchard: Differentially private analytics at scale
E Roth, H Zhang, A Haeberlen, BC Pierce
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020
372020
Fuzzi: A three-level logic for differential privacy
H Zhang, E Roth, A Haeberlen, BC Pierce, A Roth
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019
292019
Verifying an HTTP key-value server with interaction trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, L Xia, L Beringer, W Mansky, ...
The 12th Conference on Interactive Theorem Proving, 32, 2021
262021
Testing differential privacy with dual interpreters
H Zhang, E Roth, A Haeberlen, BC Pierce, A Roth
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
182020
Keep your laziness in check
K Foner, H Zhang, L Lampropoulos
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
62018
Automating Program Analysis for Differential Privacy
H Zhang
University of Pennsylvania, 2021
2021
Partial Evaluation for Typechecking
D WINOGRAD-CORT, H ZHANG, BC PIERCE
The system can't perform the operation now. Try again later.
Articles 1–7