Justin Hsu - POPL 2018

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

Contributions

POPL 2018	Synthesizing Coupling Proofs of Differential Privacy Proving Expected Sensitivity of Probabilistic Programs Proving expected sensitivity of probabilistic programs
Show activities from other conferences