Registered user since Thu 2 Jul 2015

Name: Justin Hsu

Country: United States

Affiliation: University College London

Personal website: https://www.justinh.su

Research interests: Formal Verification, Differential Privacy, Randomized Algorithms

POPL 2018 Activities

• Author of Synthesizing Coupling Proofs of Differential Privacy within the Research Papers-track in POPL 2018
• Author of Proving Expected Sensitivity of Probabilistic Programs within the Artifact Evaluation-track in POPL 2018
• Author of Proving expected sensitivity of probabilistic programs within the Research Papers-track in POPL 2018
• Show activities from other conferences