Prof. Justin Hsu — Research Profile
Cornell University · Department of Computer Science
Graduate application deadlines
Department of Computer Science
Ph.D. in Computer Science
Fall 2027Application deadline
Dec 15, 2026
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.cornell.eduChecked Nov 2, 2026M.S. in Computer Science
Fall 2027Application deadline
Jan 18, 2027
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Justin Hsu at Cornell University Department of Computer Science lists Programming Languages, Security, Theory of Computing as their registered research area.
Research keywords
Recent papers
- SafePar: Monitoring Asynchrony in MicroservicesPreprintarXiv (Cornell University) · Sep 27
- SafeNom: Data-Aware Microservice PoliciesPreprintarXiv (Cornell University) · Sep 24
- Synthesizing Backward Error Bounds, BackwardProceedings of the ACM on Programming Languages · Jun 8
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Vyas Sekar Lab
Carnegie Mellon University · Electrical and Computer Engineering
Agentic RCA for Internet-Scale Services Using Constrained CreativityPreprintarXiv (Cornell University) · Oct 6Shared topic: Software System Performance and Reliability
Zachary Tatlock Lab
University of Washington · Paul G. Allen School of Computer Science & Engineering
egg: Fast and Extensible Equality SaturationCommunications of the ACM · Jul 29Shared topic: Logic, programming, and type systems
Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1Shared topic: Logic, programming, and type systems
Other labs in this department
- Abe Davis Lab
Graphics, Human Interaction, Vision
- Adrian Sampson Lab
Architecture, Programming Languages
- Alexandra Silva Lab
Programming Languages, Security, Software Engineering, Theory of Computing
- Alex Conway Lab
Systems + Networking, Theory of Computing
- Andrew Myers Lab
Programming Languages, Security, Systems + Networking
- Andrew Owens Lab
Artificial Intelligence (AI), Graphics, Vision