Justin Hsu

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 Synthesizing Coupling Proofs of Differential Privacy
Proving Expected Sensitivity of Probabilistic Programs
Proving expected sensitivity of probabilistic programs
Show activities from other conferences

POPL 2018-profile
View general profile