conf.researchr.org / Justin Hsu
Registered user since Thu 2 Jul 2015
Name:Justin Hsu
Country:United States
Affiliation:Cornell University
Personal website: https://www.justinhsu.net
Research interests:Formal Verification, Programming Languages
Contributions
2026
2025
SPLASH
2024
2023
2022
PLDI
2021
2020
SPLASH
PLMW
POPL
- 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
2019
PLDI
POPL
- 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