Justin Hsu -

Registered user since Thu 2 Jul 2015

Name:Justin Hsu

Country:United States

Affiliation:Cornell University

Research interests:Formal Verification, Differential Privacy, Randomized Algorithms

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
LAFI 2023	Author of Separated and Shared Effects in Higher-Order Languages within the LAFI 2023-track
SPLASH 2022	Author of Symbolic Execution for Randomized Programs within the OOPSLA-track
PLDI 2022	Author of P4BID: Information Flow Control in P4 within the PLDI-track Committee Member in PLDI within the PLDI-track Author of (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity within the SIGPLAN Track-track
POPL 2022	Author of A Separation Logic for Negative Dependence within the POPL-track Committee Member in Program Committee within the POPL-track
APLAS 2021	Author of A Separation Logic for Probabilistic Independence within the Keynote Talks-track
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
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)
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
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
LAFI 2020	Committee Member in Program Committee within the LAFI (né PPS)-track
PLDI 2019	Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
POST 2019	Committee Member in Program Committee within the POST 2019-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
PLMW 2019	Organizer in Organizing Committee within the PLMW@POPL-track
VMCAI 2019	Session Chair of Probabilistic Systems (part of VMCAI 2019)
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