The following pages link to Justin Hsu (Q1623160):
Displaying 11 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)
- (Q4598248) (← links)
- Proving uniformity and independence by self-composition and coupling (Q4645748) (← links)
- (Q5002798) (← links)
- (Q5111434) (← links)
