Justin Hsu

6.1k total citations
38 papers, 346 citations indexed

About

Justin Hsu is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Justin Hsu has authored 38 papers receiving a total of 346 indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. Recurrent topics in Justin Hsu's work include Privacy-Preserving Technologies in Data (12 papers), Cryptography and Data Security (9 papers) and Formal Methods in Verification (9 papers). Justin Hsu is often cited by papers focused on Privacy-Preserving Technologies in Data (12 papers), Cryptography and Data Security (9 papers) and Formal Methods in Verification (9 papers). Justin Hsu collaborates with scholars based in United States, Spain and United Kingdom. Justin Hsu's co-authors include Xiaojin Zhu, Yuzhe Ma, Gilles Barthe, Marco Gaboardi, Sepehr Assadi, Shahin Jabbari, Stephanie Weirich, Richard A. Eisenberg, Aaron Roth and Zhiwei Steven Wu and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and ACM SIGPLAN Notices.

In The Last Decade

Justin Hsu

35 papers receiving 342 citations

Peers

Justin Hsu

AI

CTM

CSA

CNC

MSOR

Joseph P. Near United States

Arjun Narayan United States

Ernst–Erich Doberkat Germany

Krishnan Pillaipakkamnatt United States

Philip Dart Australia

Ashiqur R. KhudaBukhsh United States

Peeter Laud Estonia

David Xiao United States

Markku Sakkinen Finland

Yaniv Eytani Israel

Joseph P. Near United States

Justin Hsu

200 ×0.7

AI

24 ×0.3

CTM

21 ×0.3

CSA

56 ×1.1

CNC

11 ×0.3

MSOR

Citations per year, relative to Justin Hsu Justin Hsu (= 1×) peers Joseph P. Near

Countries citing papers authored by Justin Hsu

Since Specialization

Citations

This map shows the geographic impact of Justin Hsu's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Justin Hsu with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Justin Hsu more than expected).

Fields of papers citing papers by Justin Hsu

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Justin Hsu. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Justin Hsu. The network helps show where Justin Hsu may publish in the future.

Co-authorship network of co-authors of Justin Hsu

This figure shows the co-authorship network connecting the top 25 collaborators of Justin Hsu. A scholar is included among the top collaborators of Justin Hsu based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Justin Hsu. Justin Hsu is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Hsu, Justin, et al.. (2025). Convex language semantics for nondeterministic probabilistic automata. Theoretical Computer Science. 1040. 115191–115191.

2.

Hsu, Justin, et al.. (2024). Numerical Fuzz: A Type System for Rounding Error Analysis. Proceedings of the ACM on Programming Languages. 8(PLDI). 1954–1978. 2 indexed citations

3.

Hsu, Justin, et al.. (2024). Data-driven invariant learning for probabilistic programs. Formal Methods in System Design. 66(2). 278–306.

4.

Godfrey, P. Brighten, et al.. (2023). Expressive Policies For Microservice Networks. 280–286. 1 indexed citations

5.

Hsu, Justin, et al.. (2023). Predicting readmission after bariatric surgery using machine learning. Surgery for Obesity and Related Diseases. 19(11). 1236–1244. 7 indexed citations

6.

Hsu, Justin, et al.. (2022). Symbolic execution for randomized programs. Proceedings of the ACM on Programming Languages. 6(OOPSLA2). 1583–1612. 6 indexed citations

7.

Gaboardi, Marco, et al.. (2022). A separation logic for negative dependence. Proceedings of the ACM on Programming Languages. 6(POPL). 1–29. 10 indexed citations

8.

Barthe, Gilles, Justin Hsu, Mingsheng Ying, Nengkun Yu, & Li Zhou. (2020). Relational proofs for quantum programs. UTS ePRESS (University of Technology Sydney). 10 indexed citations

9.

Barthe, Gilles, et al.. (2019). Relational $\star$-Liftings for Differential Privacy. SHILAP Revista de lepidopterología. 2 indexed citations

10.

Balle, Borja, et al.. (2019). Hypothesis testing interpretations and Renyi differential privacy. Tokyo Tech Research Repository (Tokyo Institute of Technology). 2496–2506. 2 indexed citations

11.

Amorim, Arthur Azevedo de, Marco Gaboardi, Justin Hsu, & Shin-ya Katsumata. (2018). Metric Semantics for Probabilistic Relational Reasoning.. arXiv (Cornell University). 2 indexed citations

12.

Barthe, Gilles, Thomas Espitau, Benjamin Grégoire, Justin Hsu, & Pierre-Yves Strub. (2017). Proving uniformity and independence by self-composition and coupling. arXiv (Cornell University). 6 indexed citations

13.

Barthe, Gilles, Benjamin Grégoire, Justin Hsu, & Pierre-Yves Strub. (2017). Coupling proofs are probabilistic product programs. ACM SIGPLAN Notices. 52(1). 161–174. 5 indexed citations

14.

Amorim, Arthur Azevedo de, et al.. (2017). A semantic account of metric preservation. ACM SIGPLAN Notices. 52(1). 545–556. 1 indexed citations

15.

Barthe, Gilles, Thomas Espitau, Benjamin Grégoire, Justin Hsu, & Pierre-Yves Strub. (2017). Proving expected sensitivity of probabilistic programs. Proceedings of the ACM on Programming Languages. 2(POPL). 1–29. 20 indexed citations

16.

Gaboardi, Marco, et al.. (2017). Dual Query: Practical Private Query Release for High Dimensional Data. SHILAP Revista de lepidopterología. 7(2). 7 indexed citations

17.

Barthe, Gilles, et al.. (2017). Liftings for Differential Privacy. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations

18.

Hsu, Justin, Zhiyi Huang, Aaron Roth, & Zhiwei Steven Wu. (2016). Jointly private convex programming. arXiv (Cornell University). 580–599. 9 indexed citations

19.

Assadi, Sepehr, Justin Hsu, & Shahin Jabbari. (2015). Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets. arXiv (Cornell University). 12–21. 16 indexed citations

20.

Gaboardi, Marco, Andreas Haeberlen, Justin Hsu, Arjun Narayan, & Benjamin C. Pierce. (2013). Linear dependent types for differential privacy. ACM SIGPLAN Notices. 48(1). 357–370. 11 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact