About
I am a second-year Ph.D. working on programming languages, advised by
David Walker
at Princeton. Previously, I was an undergraduate at Peking University, advised by
Zhenjiang Hu.
My research interests span many topics. I have worked on differential calculus and intersection types in the past, and I am currently working on network programming languages, resource analysis and functional programming.
I am very fortunate to work with some of the best researchers in these fields.
Publications
-
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 [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.