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 |
|---|---|---|
| A categorical approach to DIBI models | 2026-01-14 | Paper |
| Data-driven invariant learning for probabilistic programs Formal Methods in System Design | 2025-08-25 | Paper |
| 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
