Justin Hsu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Approximate span liftings. Compositional semantics for relaxations of differential privacy	2024-12-19	Paper
Probabilistic relational reasoning via metrics	2024-12-19	Paper
Constraint-based synthesis of coupling proofs	2023-05-26	Paper
Data-Driven Invariant Learning for Probabilistic Programs	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5002798	2021-07-28	Paper
Probabilistic Couplings from Program Logics	2021-02-16	Paper
\(*\)-liftings for differential privacy	2020-05-27	Paper
Relational \(\star\)-liftings for differential privacy	2020-01-03	Paper
An assertion-based program logic for probabilistic programs	2019-09-13	Paper
Synthesizing Probabilistic Invariants via Doob’s Decomposition	2019-05-03	Paper
Proving uniformity and independence by self-composition and coupling	2019-01-10	Paper
Convex language semantics for nondeterministic probabilistic automata	2018-11-23	Paper
Jointly private convex programming	2018-07-16	Paper
Proving differential privacy via probabilistic couplings	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4598248	2017-12-19	Paper
A semantic account of metric preservation	2017-10-20	Paper
Coupling proofs are probabilistic product programs	2017-10-20	Paper
Do prices coordinate markets?	2017-09-29	Paper
Computer-aided verification for mechanism design	2017-02-10	Paper
Private matchings and allocations	2016-11-15	Paper
Higher-order approximate relational refinement types for mechanism design and differential privacy	2016-09-29	Paper
Relational reasoning via probabilistic coupling	2016-01-12	Paper
Private matchings and allocations	2015-06-26	Paper
System FC with explicit kind equality	2015-03-30	Paper
Linear dependent types for differential privacy	2014-11-27	Paper
Differential privacy for the analyst via private equilibrium computation	2014-08-07	Paper
Privately solving linear programs	2014-07-01	Paper
Distributed private heavy hitters	2013-08-12	Paper

Research outcomes over time

This page was built for person: Justin Hsu