Justin Hsu
Scholar

Justin Hsu

Google Scholar ID: HsfKE0sAAAAJ
Cornell University
Differential PrivacyProgramming LanguagesFormal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
12,703
 
H-index
37
 
i10-index
51
 
Publications
20
 
Co-authors
66
list available
Contact
No contact links provided.
Publications
7 items
Synthesizing Backward Error Bounds, Backward
2026
Cited
0
Stable and Fault-Tolerant Decentralized Traffic Engineering
2025
Cited
0
A Hoare Logic for Symmetry Properties
2025
Cited
0
SafeTree: Expressive Tree Policies for Microservices
2025
Cited
0
Bean: A Language for Backward Error Analysis
2025
Cited
0
Numerical Fuzz: A Type System for Rounding Error Analysis
Proc. ACM Program. Lang. · 2024
Cited
1
Data-Driven Invariant Learning for Probabilistic Programs
International Conference on Computer Aided Verification · 2021
Cited
17
Resume (English only)
Co-authors
66 total
Gilles Barthe
Gilles Barthe
MPI-SP and IMDEA Software Institute
Marco Gaboardi
Marco Gaboardi
Boston University
Co-author 3
Co-author 3
Aaron Roth
Aaron Roth
Professor of Computer Science, University of Pennsylvania
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Alexandra Silva
Alexandra Silva
Cornell University