Justin Alpine Hsu

Prof Assoc
Computer Science DEPT · BCIS

Justin Alpine Hsu serves as Associate Professor in Computer Science at Cornell University.

106 publications
6,826 citations
25 h-index
Computer Science
Rising Papers (1)
2025-08-29 · Nature Communications · Molecular Biology
A spatial long-read approach at near-single-cell resolution reveals developmental regulation of splicing and polyadenylation sites in distinct cortical layers and cell types
Justine HsuProf Assoc, Computer Science DEPT · BCIS
13 citations · 5.6x expected for field
Recent Papers (17)
2026-07-13 · Zenodo (CERN European Organization for Nuclear Research)
Artifact for "Verifying ε-Differential Privacy Bit by Bit"
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-07-13 · Zenodo (CERN European Organization for Nuclear Research)
Artifact for "Verifying ε-Differential Privacy Bit by Bit"
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-07-01 · Genomics Proteomics & Bioinformatics · Molecular Biology
Real-time Targeted Enrichment in Single-cell Long-read Sequencing
Justine HsuProf Assoc, Computer Science DEPT · BCIS
2026-06-08 · Proceedings of the ACM on Programming Languages · Computational Theory and Mathematics
Synthesizing Backward Error Bounds, Backward
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-04-02 · Zenodo (CERN European Organization for Nuclear Research)
eggshel: A Floating-Point Backward Error Analysis Tool
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-03-14 · Zenodo (CERN European Organization for Nuclear Research)
eggshel: A Floating-Point Backward Error Analysis Tool
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-03-14 · Zenodo (CERN European Organization for Nuclear Research)
eggshel: A Floating-Point Backward Error Analysis Tool
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-02-28 · Genome biology · Molecular Biology
Decoding exon inclusion in the human brain reveals more divergent splicing mechanisms in neurons than glia
Justine HsuProf Assoc, Computer Science DEPT · BCIS
2026-02-14 · Zenodo (CERN European Organization for Nuclear Research)
Cell-type specific PSI prediction code
Justine HsuProf Assoc, Computer Science DEPT · BCIS
2026-02-14 · Zenodo (CERN European Organization for Nuclear Research)
Cell-type specific PSI prediction code
Justine HsuProf Assoc, Computer Science DEPT · BCIS
2026-01-01 · Code Ocean
A spatial long-read approach at near-single-cell resolution reveals developmental regulation of splicing and polyadenylation sites in distinct cortical layers and cell types
Justine HsuProf Assoc, Computer Science DEPT · BCIS
2024-06-20
Numerical Fuzz: A Type System for Rounding Error Analysis
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2023-06-06
Cutting the Cake: A Language for Fair Division
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2022-10-31
Symbolic execution for randomized programs
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2022-06-02
P4BID: information flow control in p4
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2022-01-12
A separation logic for negative dependence
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2018-04-11
Constraint-Based Synthesis of Coupling Proofs
Justin HsuProf Assoc, Computer Science DEPT · BCIS