# Justin Hsu

According to our database

Collaborative distances:

^{1}, Justin Hsu authored at least 35 papers between 2012 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Trace abstraction modulo probability.

PACMPL, 2019

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

PACMPL, 2019

2018

Proving expected sensitivity of probabilistic programs.

PACMPL, 2018

Synthesizing coupling proofs of differential privacy.

PACMPL, 2018

Convex Language Semantics for Nondeterministic Probabilistic Automata.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Almost Sure Productivity.

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

An Assertion-Based Program Logic for Probabilistic Programs.

Proceedings of the Programming Languages and Systems, 2018

Constraint-Based Synthesis of Coupling Proofs.

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Coupling proofs are probabilistic product programs.

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A semantic account of metric preservation.

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Proving uniformity and independence by self-composition and coupling.

Proceedings of the LPAR-21, 2017

*-Liftings for Differential Privacy.

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016

Programming language techniques for differential privacy.

SIGLOG News, 2016

Computer-Aided Verification for Mechanism Design.

Proceedings of the Web and Internet Economics - 12th International Conference, 2016

Do prices coordinate markets?

Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

Jointly Private Convex Programming.

Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016

Proving Differential Privacy via Probabilistic Couplings.

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Program Logic for Union Bounds.

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Advanced Probabilistic Couplings for Differential Privacy.

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Differentially Private Bayesian Programming.

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Synthesizing Probabilistic Invariants via Doob's Decomposition.

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

A Theory AB Toolbox.

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Relational Reasoning via Probabilistic Coupling.

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets.

Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014

Private matchings and allocations.

Proceedings of the Symposium on Theory of Computing, 2014

Really Natural Linear Indexed Type Checking.

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Dual Query: Practical Private Query Release for High Dimensional Data.

Proceedings of the 31th International Conference on Machine Learning, 2014

Privately Solving Linear Programs.

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Proving Differential Privacy in Hoare Logic.

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Differential privacy for the analyst via private equilibrium computation.

Proceedings of the Symposium on Theory of Computing Conference, 2013

Linear dependent types for differential privacy.

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

System FC with explicit kind equality.

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Distributed Private Heavy Hitters.

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012