Justin Hsu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Constraint-based synthesis of coupling proofs	2023-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5002798	2021-07-28	Paper
Probabilistic Couplings from Program Logics	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5111434	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5207055	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
Coupling proofs are probabilistic product programs	2017-10-20	Paper
A semantic account of metric preservation	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Justin Hsu