Scholar
Justin Hsu
Google Scholar ID: HsfKE0sAAAAJ
Cornell University
Differential Privacy
Programming Languages
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
12,703
H-index
37
i10-index
51
Publications
20
Co-authors
66
list available
Publications
9 items
SafePar: Monitoring Asynchrony in Microservices
2026
Cited
0
SafeNom: Data-Aware Microservice Policies
2026
Cited
0
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
Load more
Co-authors
14 total
Gilles Barthe
MPI-SP and IMDEA Software Institute
Marco Gaboardi
Boston University
Pierre-Yves Strub
Research Scientist, PQShield
Aaron Roth
Professor of Computer Science, University of Pennsylvania
Alexandra Silva
Cornell University
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Andreas Haeberlen
University of Pennsylvania
Arthur Azevedo de Amorim
Rochester Institute of Technology
