Justin Hsu
Justin Hsu
University of Wisconsin--Madison
Verifierad e-postadress på justinh.su - Startsida
Titel
Citeras av
Citeras av
År
Advances and open problems in federated learning
P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ...
arXiv preprint arXiv:1912.04977, 2019
2832019
Differential privacy: An economic method for choosing epsilon
J Hsu, M Gaboardi, A Haeberlen, S Khanna, A Narayan, BC Pierce, ...
2014 IEEE 27th Computer Security Foundations Symposium, 398-410, 2014
1872014
Linear dependent types for differential privacy
M Gaboardi, A Haeberlen, J Hsu, A Narayan, BC Pierce
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
1532013
Distributed private heavy hitters
J Hsu, S Khanna, A Roth
International Colloquium on Automata, Languages, and Programming, 461-472, 2012
952012
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
712015
System FC with explicit kind equality
S Weirich, J Hsu, RA Eisenberg
ACM SIGPLAN Notices 48 (9), 275-286, 2013
59*2013
Proving differential privacy via probabilistic couplings
G Barthe, M Gaboardi, B Grégoire, J Hsu, PY Strub
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
572016
Private matchings and allocations
J Hsu, Z Huang, A Roth, T Roughgarden, ZS Wu
SIAM Journal on Computing 45 (6), 1953-1984, 2016
532016
Dual query: Practical private query release for high dimensional data
M Gaboardi, EJG Arias, J Hsu, A Roth, ZS Wu
International Conference on Machine Learning, 1170-1178, 2014
472014
Privately solving linear programs
J Hsu, A Roth, T Roughgarden, J Ullman
International Colloquium on Automata, Languages, and Programming, 612-624, 2014
452014
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
432014
Coupling proofs are probabilistic product programs
G Barthe, B Grégoire, J Hsu, PY Strub
ACM SIGPLAN Notices 52 (1), 161-174, 2017
392017
Online assignment of heterogeneous tasks in crowdsourcing markets
S Assadi, J Hsu, S Jabbari
arXiv preprint arXiv:1508.03593, 2015
382015
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
372016
Differential privacy for the analyst via private equilibrium computation
J Hsu, A Roth, J Ullman
Proceedings of the 45th Annual ACM Symposium on Theory of Computing, 341-350, 2013
362013
Synthesizing coupling proofs of differential privacy
A Albarghouthi, J Hsu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
342017
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
312016
Jointly private convex programming
J Hsu, Z Huang, A Roth, ZS Wu
Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete …, 2016
302016
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
292016
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
292016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20