About
I am a third-year Ph.D. student in Computer Science at Princeton University, advised by David Walker and Zachary Kincaid. Previously, I completed my undergraduate studies at Peking University, where I was advised by Zhenjiang Hu.
My research interests span many topics. I have worked on differential calculus and type systems, and I am currently exploring network programming languages and resource analysis. I feel very fortunate to collaborate with some of the top researchers across these areas.
Publications
-
Liberating Merges via Apartness and Guarded Subtyping
Han Xu , Xuejing Huang, Bruno C. d. S. Oliveira
OOPSLA 2025 [paper] [artifact] -
Practical Type Inference with Levels
Andong Fan,Han Xu , Ningning Xie
PLDI 2025 [doi] [paper] [artifact]
ACM SIGPLAN Distinguished Paper Award -
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations
Han Xu , Xuejing Huang, Bruno C. d. S. Oliveira
POPL 2023 [doi] [paper] [artifact] -
Direct Foundations for Compositional Programming
Andong Fan*, Xuejing Huang*,Han Xu , Yaozhu Sun, Bruno C. d. S. Oliveira
ECOOP 2022 [arxiv] [paper] [artifact] -
Analytical Differential Calculus with Integration
Han Xu , Zhenjiang Hu
ICALP 2021 [doi] [arxiv] [paper]
Miscellaneous
I am a big fan of Japanese Anime. I passed the JLPT N1 test at July 2023!
You may be able to find me on some ACG websites.
I enjoy doing sports. Recently, I have been keen on swimming.