Articles avec mandats d'accès public - Justin HsuEn savoir plus
Disponibles quelque part : 36
Hypothesis testing interpretations and renyi differential privacy
B Balle, G Barthe, M Gaboardi, J Hsu, T Sato
International Conference on Artificial Intelligence and Statistics, 2496-2506, 2020
Exigences : US National Science Foundation
Proving differential privacy via probabilistic couplings
G Barthe, M Gaboardi, B Grégoire, J Hsu, PY Strub
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Exigences : US National Science Foundation, UK Engineering and Physical Sciences …
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy
G Barthe, M Gaboardi, EJG Arias, J Hsu, A Roth, PY Strub
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Exigences : Government of Spain
Synthesizing coupling proofs of differential privacy
A Albarghouthi, J Hsu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Exigences : US National Science Foundation, European Commission
A semantic account of metric preservation
A Azevedo de Amorim, M Gaboardi, J Hsu, S Katsumata, I Cherigui
ACM SIGPLAN Notices 52 (1), 545-556, 2017
Exigences : US National Science Foundation
Synthesizing Probabilistic Invariants via Doob’s Decomposition
G Barthe, T Espitau, LM Ferrer Fiority, J Hsu
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
Exigences : US National Science Foundation
Advanced probabilistic couplings for differential privacy
G Barthe, N Fong, M Gaboardi, B Grégoire, J Hsu, PY Strub
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Exigences : US National Science Foundation, UK Engineering and Physical Sciences …
Proving differential privacy in Hoare logic
G Barthe, M Gaboardi, EJG Arias, J Hsu, C Kunz, PY Strub
2014 IEEE 27th Computer Security Foundations Symposium, 411-424, 2014
Exigences : European Commission
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
Exigences : US National Science Foundation, European Commission, Royal Society UK
Coupling proofs are probabilistic product programs
G Barthe, B Grégoire, J Hsu, PY Strub
ACM SIGPLAN Notices 52 (1), 161-174, 2017
Exigences : US National Science Foundation
Jointly private convex programming
J Hsu, Z Huang, A Roth, ZS Wu
Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete …, 2016
Exigences : US National Science Foundation
A probabilistic separation logic
G Barthe, J Hsu, K Liao
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
Exigences : US National Science Foundation, US Department of Defense
An Assertion-Based Program Logic for Probabilistic Programs
G Barthe, T Espitau, M Gaboardi, B Grégoire, J Hsu, PY Strub
arXiv preprint arXiv:1803.05535, 2018
Exigences : US National Science Foundation, European Commission
Proving expected sensitivity of probabilistic programs
G Barthe, T Espitau, B Grégoire, J Hsu, PY Strub
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
Exigences : US National Science Foundation, European Commission
Differentially private bayesian programming
G Barthe, GP Farina, M Gaboardi, EJG Arias, A Gordon, J Hsu, PY Strub
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Exigences : US National Science Foundation, UK Engineering and Physical Sciences …
Probabilistic relational reasoning via metrics
AA de Amorim, M Gaboardi, J Hsu, S Katsumata
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-19, 2019
Exigences : US National Science Foundation
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, bayesian inference, and optimization
T Sato, A Aguirre, G Barthe, M Gaboardi, D Garg, J Hsu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
Exigences : US National Science Foundation
Relational reasoning via probabilistic coupling
G Barthe, T Espitau, B Grégoire, J Hsu, L Stefanesco, PY Strub
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
Exigences : Government of Spain
Relational proofs for quantum programs
G Barthe, J Hsu, M Ying, N Yu, L Zhou
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
Exigences : Australian Research Council, National Natural Science Foundation of China
Do prices coordinate markets?
J Hsu, J Morgenstern, R Rogers, A Roth, R Vohra
Proceedings of the forty-eighth annual ACM symposium on Theory of Computing …, 2016
Exigences : US National Science Foundation
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique