Justin Hsu

University of Pennsylvania, Philadelphia, PA, USA

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers63 papers

Sort

By YearBy Citation

A pre-expectation calculus for probabilistic sensitivity

Alejandro Aguirre,Gilles Barthe,Justin Hsu,Benjamin Lucien Kaminski,Joost-Pieter Katoen, Christoph Matheja

Proceedings of the ACM on Programming Languages, no. POPL (2021): 1-28

EIBibtex

Learning Differentially Private Mechanisms

Subhajit Roy,Justin Hsu,Aws Albarghouthi

Bibtex

A Logic to Reason about Dependence and Independence

Jialu Bao, Simon Docherty,Justin Hsu, Alexandra Silva

Bibtex

Hypothesis Testing Interpretations and Renyi Differential Privacy

Borja Balle,Gilles Barthe,Marco Gaboardi,Justin Hsu, Tetsuya Sato

AISTATS, pp.2496-2506, (2020)

EIBibtex

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization

Tetsuya Sato, Alejandro Aguirre,Gilles Barthe,Marco Gaboardi,Deepak Garg,Justin Hsu

PACMPL, (2019)

EIBibtex

A probabilistic separation logic

Gilles Barthe,Justin Hsu, Kevin Liao

Proceedings of the ACM on Programming Languages, no. POPL (2019): 55-30

EIBibtex

Kantorovich Continuity of Probabilistic Programs

Alejandro Aguirre,Gilles Barthe,Justin Hsu,Benjamin Lucien Kaminski,Joost-Pieter Katoen, Christoph Matheja

arXiv: Logic in Computer Science, (2019)

EIBibtex

Relational ⋆⋆\star-Liftings for Differential Privacy

Gilles Barthe, Thomas Espitau,Justin Hsu, Tetsuya Sato,Pierre-Yves Strub

Logical Methods in Computer Science, no. 4 (2019)

EIBibtex

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time

Steffen Smolka,Nate Foster,Justin Hsu, Tobias Kappé,Dexter Kozen,Alexandra Silva

Proceedings of the ACM on Programming Languages, no. POPL (2019): 61-28

EIBibtex

Relational proofs for quantum programs

Gilles Barthe,Justin Hsu,Mingsheng Ying,Nengkun Yu, Li Zhou

Proceedings of the ACM on Programming Languages, no. POPL (2019): 21-29

Cited by2EIBibtex

Approximate Span Liftings - Compositional Semantics for Relaxations of Differential Privacy

Tetsuya Sato,Gilles Barthe,Marco Gaboardi,Justin Hsu,Shin-ya Katsumata

LICS, pp.1-14, (2019)

Cited by2EIBibtex

Hypothesis Testing Interpretations and Renyi Differential Privacy

Borja Balle,Gilles Barthe,Marco Gaboardi,Justin Hsu,Tetsuya Sato

arXiv: Learning, (2019)

Cited by6EIBibtex

Probabilistic Relational Reasoning via Metrics

Arthur Azevedo de Amorim,Marco Gaboardi,Justin Hsu,Shin-ya Katsumata

logic in computer science, (2019)

Cited by2EIBibtex

Fake News Detection via NLP is Vulnerable to Adversarial Attacks

Zhixuan Zhou, Huankang Guan, Meghana Moorthy Bhat,Justin Hsu

international conference on agents and artificial intelligence, (2019): 794-800

EIBibtex

Scalable Verification of Probabilistic Networks

Steffen Smolka,Praveen Kumar, David M. Kahn,Nate Foster,Justin Hsu,Dexter Kozen,Alexandra Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, (2019): 190-203

Cited by3EIBibtex

Trace Abstraction Modulo Probability

Calvin Smith,Justin Hsu,Aws Albarghouthi

PACMPL, (2019)

EIBibtex

Coupling Techniques for Reasoning about Quantum Programs

Gilles Barthe,Justin Hsu,Mingsheng Ying,Nengkun Yu, Li Zhou

arXiv: Logic in Computer Science, (2019)

EIBibtex

Synthesizing Coupling Proofs of Differential Privacy

Aws Albarghouthi,Justin Hsu

PACMPL, no. POPL (2018)

Cited by27EIBibtex

Metric Semantics for Probabilistic Relational Reasoning

Arthur Azevedo de Amorim,Marco Gaboardi,Justin Hsu, Shin-ya Katsumata

arXiv: Programming Languages, (2018)

Cited by1EIBibtex

Formal verification of higher-order probabilistic programs

Tetsuya Sato, Alejandro Aguirre,Gilles Barthe,Marco Gaboardi,Deepak Garg,Justin Hsu

symposium on principles of programming languages, (2018): 38

EIBibtex

View All

Base Info Papers Patents Projects

Justin HsuBinding

Papers63 papers

Justin Hsu