Justin Hsu
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Computer Aided Verification | 2023-05-26 | Paper |
| Data-Driven Invariant Learning for Probabilistic Programs | 2022-12-07 | Paper |
| scientific article; zbMATH DE number 7376040 (Why is no real title available?) (available as arXiv preprint) | 2021-07-28 | Paper |
| Probabilistic Couplings from Program Logics Foundations of Probabilistic Programming | 2021-02-16 | Paper |
| \(*\)-liftings for differential privacy | 2020-05-27 | Paper |
| Relational \(\star\)-liftings for differential privacy (available as arXiv preprint) | 2020-01-03 | Paper |
| An assertion-based program logic for probabilistic programs (available as arXiv preprint) | 2019-09-13 | Paper |
| Synthesizing Probabilistic Invariants via Doob’s Decomposition Computer Aided Verification | 2019-05-03 | Paper |
| Proving uniformity and independence by self-composition and coupling EPiC Series in Computing | 2019-01-10 | Paper |
| Convex language semantics for nondeterministic probabilistic automata (available as arXiv preprint) | 2018-11-23 | Paper |
| Jointly private convex programming Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms | 2018-07-16 | Paper |
| Proving differential privacy via probabilistic couplings Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| scientific article; zbMATH DE number 6820296 (Why is no real title available?) (available as arXiv preprint) | 2017-12-19 | Paper |
| A semantic account of metric preservation Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Coupling proofs are probabilistic product programs Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Do prices coordinate markets? Proceedings of the forty-eighth annual ACM symposium on Theory of Computing | 2017-09-29 | Paper |
| Computer-aided verification for mechanism design Web and Internet Economics | 2017-02-10 | Paper |
| Private matchings and allocations SIAM Journal on Computing | 2016-11-15 | Paper |
| 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 | 2016-09-29 | Paper |
| Relational reasoning via probabilistic coupling Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
| Private matchings and allocations Proceedings of the forty-sixth annual ACM symposium on Theory of computing | 2015-06-26 | Paper |
| System FC with explicit kind equality Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Linear dependent types for differential privacy Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Differential privacy for the analyst via private equilibrium computation Proceedings of the forty-eighth annual ACM symposium on Theory of Computing | 2014-08-07 | Paper |
| Privately solving linear programs Automata, Languages, and Programming | 2014-07-01 | Paper |
| Distributed private heavy hitters Automata, Languages, and Programming | 2013-08-12 | Paper |
Research outcomes over time
This page was built for person: Justin Hsu
