Hengchu Zhang

Orchard: Differentially Private Analytics at Scale

Andreas Haeberlen, Benjamin C. Pierce, Edo Roth, 2020, OSDI.

Testing differential privacy with dual interpreters

Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2020, Proc. ACM Program. Lang..

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

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.

Fuzzi: a three-level logic for differential privacy

Andreas Haeberlen, Aaron Roth, Benjamin C. Pierce, 2019, Proc. ACM Program. Lang..