| 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 | 41 | 2020 |
| Verifying an HTTP key-value server with interaction trees and VST H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ... The 12th Conference on Interactive Theorem Proving, 32, 2021 | 35 | 2021 |
| 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 | 30 | 2019 |
| 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 | 18 | 2020 |
| Keep your laziness in check K Foner, H Zhang, L Lampropoulos Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018 | 6 | 2018 |
| Automating Program Analysis for Differential Privacy H Zhang University of Pennsylvania, 2021 | | 2021 |
| Partial Evaluation for Typechecking D WINOGRAD-CORT, H ZHANG, BC PIERCE | | |
Leonidas LampropoulosAssistant Professor, University of MarylandAdresse e-mail validée de umd.edu
