Justin Hsu -

Registered user since Thu 2 Jul 2015

Name: Justin Hsu

Country: United States

Affiliation: University of Wisconsin-Madison, USA

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

Research interests: Formal Verification, Differential Privacy, Randomized Algorithms

Contributions

PLMW 2019	Organizer in Organizing Committee within the PLMW@POPL-track
VMCAI 2019	Session Chair of Probabilistic Systems (part of VMCAI 2019)
POST 2019	Committee Member in Program Committee within the POST 2019-track
PLDI 2019	Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track Session Chair of Probabilistic Programming and Semantics (part of Research Papers) Author of Formal Verification of Higher-Order Probabilistic Programs within the Research Papers-track Author of Trace Abstraction Modulo Probability within the Research Papers-track
POPL 2018	Author of Synthesizing Coupling Proofs of Differential Privacy within the Research Papers-track Author of Proving Expected Sensitivity of Probabilistic Programs within the Artifact Evaluation-track Author of Proving expected sensitivity of probabilistic programs within the Research Papers-track
POPL 2017	Author of Coupling proofs are probabilistic product programs within the POPL-track Author of A Semantic Account of Metric Preservation within the POPL-track
PLDI 2016	Committee Member in External Review Committee