Justin Hsu

Cited by

	All	Since 2018
Citations	7182	6644
h-index	32	30
i10-index	51	50

2100

1050

525

1575

2013201420152016201720182019202020212022202318 47 79 133 236 223 312 719 1328 1954 2063

Public access

View all

35 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Marco GaboardiBoston UniversityVerified email at bu.edu
Pierre-Yves StrubResearch Scientist, PQShieldVerified 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
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
Tetsuya SatoTokyo Institute of TechnologyVerified email at c.titech.ac.jp
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Arjun NarayanMaterialize, Inc.Verified email at materialize.io
Sanjeev KhannaHenry Salvatori Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Arthur Azevedo de AmorimRochester Institute of TechnologyVerified email at rit.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. EisenbergJane StreetVerified email at richarde.dev
Tim RoughgardenColumbia UniversityVerified email at cs.columbia.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu

Justin Hsu

Cornell University

Verified email at justinhsu.net - 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	4328	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	361	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	217	2013
Distributed private heavy hitters J Hsu, S Khanna, A Roth Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012	136	2012
Data poisoning against differentially-private learners: Attacks and defenses Y Ma, X Zhu, J Hsu arXiv preprint arXiv:1903.09860, 2019	131	2019
Mariana Raykova, Dawn Song, Weikang Song, Sebastian U P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ... Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth …, 2021	105	2021
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	100	2015
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	98	2016
Fake news detection via NLP is vulnerable to adversarial attacks Z Zhou, H Guan, MM Bhat, J Hsu arXiv preprint arXiv:1901.09657, 2019	95	2019
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	90	2014
Private matchings and allocations J Hsu, Z Huang, A Roth, T Roughgarden, ZS Wu Proceedings of the forty-sixth annual ACM symposium on Theory of computing …, 2014	87	2014
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	76	2020
Synthesizing coupling proofs of differential privacy A Albarghouthi, J Hsu Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	67	2017
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013	67	2013
Advances and open problems in federated learning. arXiv 2019 P Kairouz, HB McMahan, B Avent, A Bellet, M Bennis, AN Bhagoji, ... arXiv preprint arXiv:1912.04977, 1912	66	1912
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	63	2014
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	60	2016
Privately solving linear programs J Hsu, A Roth, T Roughgarden, J Ullman Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014	58	2014
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	56	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	55	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

Cited by

Co-authors