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 2021 Co-chair in Organizing Committee within the PLMW 2021-track
Session Chair of Session 0 (part of PLMW 2021)
Session Chair of Monday Panel (part of PLMW 2021)
CGO 2021 Committee Member in SRC Selection Committee within the Student Research Competition-track
POPL 2021 Author of A Pre-Expectation Calculus for Probabilistic Sensitivity within the POPL-track
SPLASH 2020 Session Chair of W-4 (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
PLMW 2020 Session Chair of Afternoon 1 (part of PLMW 2020)
Organizer in Organizing Committee within the PLMW 2020-track
LAFI 2020 Committee Member in Program Committee within the LAFI (né PPS)-track
POPL 2020 Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track
Committee Member in Organizing Committee within the Mentoring Breakfasts-track
Author of [T6] Verifying Probabilistic Properties with Couplings within the TutorialFest-track
Author of Relational Proofs for Quantum Programs within the Research Papers-track
Author of A Probabilistic Separation Logic within the Research Papers-track
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