Justin Alpine Hsu

Prof Assoc
Computer Science DEPT · BCIS

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

100 publications
8,347 citations
26 h-index
Computer Science
Recent Papers (30)
2026-10-06 · Lecture notes in computer science · Artificial Intelligence
Verifying $$\varepsilon $$-Differential Privacy Bit by Bit
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2026-09-01 · Nature Methods · Molecular Biology
Spatial isoform sequencing at single-cell resolution reveals cell-type-specific spatial isoform variability in multiple brain cell types
Justine HsuProf Assoc, Computer Science DEPT · BCIS
Xinyi ZhangProf Asst, Accounting Faculty · GM
2026-08-11
λ λ : A Programming Language for Silicon Photonics
Justin HsuProf Assoc, Computer Science DEPT · BCIS
Rachee SinghProf Asst, Computer Science DEPT · BCIS
2026-07-22 · Code Ocean
Spl-IsoQuant-2 (Spatial isoform sequencing at sub-micrometer single-cell resolution reveals novel patterns of spatial isoform variability in brain cell types)
Justine HsuProf Assoc, Computer Science DEPT · BCIS
2026-07-22 · Code Ocean
Spl-IsoFind (Spatial isoform sequencing at sub-micrometer single-cell resolution reveals novel patterns of spatial isoform variability in brain cell types)
Justine 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-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 · Figshare · Molecular Biology
Additional file 1 of 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-28 · Figshare
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-28 · Figshare · Molecular Biology
Additional file 1 of 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-28 · Figshare
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-28 · Figshare · Molecular Biology
Additional file 2 of 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-28 · Figshare · Molecular Biology
Additional file 2 of 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-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
2025-10-09 · Proceedings of the ACM on Programming Languages · Computer Networks and Communications
SafeTree: Expressive Tree Policies for Microservices
Justin HsuProf Assoc, Computer Science DEPT · BCIS
2025-10-09 · Proceedings of the ACM on Programming Languages · Artificial Intelligence
A Hoare Logic for Symmetry Properties
Justin 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