Justin Hsu

Cited by

	All	Since 2017
Citations	3775	3477
h-index	27	25
i10-index	43	43

1400

700

350

1050

201320142015201620172018201920202021202218 43 85 131 237 221 313 762 1336 593

Public access

View all

34 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marco GaboardiBoston UniversityVerified email at bu.edu
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Pierre-Yves StrubMaître de Conférence, CS, École PolytechniqueVerified email at strub.nu
Aaron RothProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Gallego Arias, Emilio JesúsStarting Reseacher, Inria, Université de Paris, IRIF, CNRS, F-75013 Paris, FranceVerified email at x80.org
Thomas EspitauPostdoc, NTT CorporationVerified email at lip6.fr
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Andreas HaeberlenUniversity of PennsylvaniaVerified email at cis.upenn.edu
Arjun NarayanMaterialize, Inc.Verified email at materialize.io
Arthur Azevedo de AmorimBoston UniversityVerified email at bu.edu
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Tetsuya SatoTokyo Institute of TechnologyVerified email at c.titech.ac.jp
Sanjeev KhannaHenry Salvatori Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Zhiwei Steven WuCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Richard A. EisenbergPrincipal Researcher, Tweag I/OVerified email at richarde.dev
Tim RoughgardenColumbia UniversityVerified email at cs.columbia.edu
Zhiyi HuangThe University of Hong KongVerified email at cs.hku.hk

Justin Hsu

Cornell University

Verified email at justinh.su - Homepage

Differential Privacy Programming Languages Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Advances and open problems in federated learning P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ... Foundations and Trends® in Machine Learning 14 (1–2), 1-210, 2021	1726	2021
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	285	2014
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	193	2013
Distributed private heavy hitters J Hsu, S Khanna, A Roth International Colloquium on Automata, Languages, and Programming, 461-472, 2012	118	2012
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	86	2015
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	78	2016
Data poisoning against differentially-private learners: Attacks and defenses Y Ma, X Zhu, J Hsu arXiv preprint arXiv:1903.09860, 2019	75	2019
Private matchings and allocations J Hsu, Z Huang, A Roth, T Roughgarden, ZS Wu SIAM Journal on Computing 45 (6), 1953-1984, 2016	73	2016
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	72	2014
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013	64*	2013
Synthesizing coupling proofs of differential privacy A Albarghouthi, J Hsu Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	55	2017
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	52	2014
Fake news detection via NLP is vulnerable to adversarial attacks Z Zhou, H Guan, MM Bhat, J Hsu arXiv preprint arXiv:1901.09657, 2019	51	2019
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	50	2016
Privately solving linear programs J Hsu, A Roth, T Roughgarden, J Ullman International Colloquium on Automata, Languages, and Programming, 612-624, 2014	48	2014
Coupling proofs are probabilistic product programs G Barthe, B Grégoire, J Hsu, PY Strub ACM SIGPLAN Notices 52 (1), 161-174, 2017	46	2017
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	45	2016
Online assignment of heterogeneous tasks in crowdsourcing markets S Assadi, J Hsu, S Jabbari Third AAAI Conference on Human Computation and Crowdsourcing, 2015	44	2015
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	41	2017
Jointly private convex programming J Hsu, Z Huang, A Roth, ZS Wu Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete …, 2016	37	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors