Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hengchu Zhang
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2019 profile
SPLASH 2020 profile
Registered user since Fri 14 Jun 2019
Name:
Hengchu Zhang
Affiliation:
University of Pennsylvania
Contributions
SPLASH 2020
Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track
Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track
ICFP 2019
Author of Fuzzi: A Three-Level Logic for Differential Privacy within the Research Papers-track
ICFP 2018
Author of Keep Your Laziness in Check within the Research Papers-track
Share
x
Sat 23 Oct 23:44