The following pages link to Justin Hsu (Q1623160):
Displaying 26 items.
- Convex language semantics for nondeterministic probabilistic automata (Q1623161) (← links)
- An assertion-based program logic for probabilistic programs (Q2323970) (← links)
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (Q2819789) (← links)
- Private Matchings and Allocations (Q2832895) (← links)
- Distributed Private Heavy Hitters (Q2843272) (← links)
- Linear dependent types for differential privacy (Q2931812) (← links)
- Computer-Aided Verification for Mechanism Design (Q2959836) (← links)
- Relational Reasoning via Probabilistic Coupling (Q3460069) (← links)
- Jointly Private Convex Programming (Q4575620) (← links)
- (Q4598248) (← links)
- Synthesizing Probabilistic Invariants via Doob’s Decomposition (Q4633526) (← links)
- Proving Differential Privacy via Probabilistic Couplings (Q4635938) (← links)
- Proving uniformity and independence by self-composition and coupling (Q4645748) (← links)
- (Q5002798) (← links)
- (Q5111434) (← links)
- Probabilistic Couplings from Program Logics (Q5150949) (← links)
- Privately Solving Linear Programs (Q5167777) (← links)
- (Q5207055) (← links)
- System FC with explicit kind equality (Q5244807) (← links)
- Private matchings and allocations (Q5259535) (← links)
- Do prices coordinate markets? (Q5361850) (← links)
- Coupling proofs are probabilistic product programs (Q5370853) (← links)
- A semantic account of metric preservation (Q5370888) (← links)
- Differential privacy for the analyst via private equilibrium computation (Q5495804) (← links)
- Approximate span liftings. Compositional semantics for relaxations of differential privacy (Q6654479) (← links)
- Probabilistic relational reasoning via metrics (Q6654506) (← links)
