I am a first-year PhD student in computer science at the University of Toronto, advised by Ningning Xie. I am interested in programming languages and type systems.
I did my master's under the supervision of Lionel Parreaux at HKUST, where I worked on modular programming in MLscript and type inference for first-class polymorphism. Before that, I worked with Bruno Oliveira as a research intern. I received my bachelor's degree in computer science from Zhejiang University.
News
- Apr 2025 New paper accepted to PLDI'25.
Publications
-
Practical Type Inference with Levels
Andong Fan, Han Xu, Ningning Xie
PLDI 2025
-
Modular Programming through Precise Typing of Open Recursion
Andong Fan
Master of Philosophy, HKUST, 2024
thesis -
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau
POPL 2024
paper / technical report / demo / artifact -
super-charging Object-Oriented Programming through Precise Typing of Open Recursion
Andong Fan, Lionel Parreaux
ECOOP 2023
paper / extended paper / demo / artifact
ECOOP 2023 Distinguished Artifact -
Simple Extensible Programming Through Precisely-Typed Open Recursion
Andong Fan
SPLASH 2022 Student Research Competition
paper -
A Calculus with Recursive Types, Record Concatenation and Subtyping
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
APLAS 2022
paper / artifact -
Direct Foundations for Compositional Programming
Andong Fan*, Xuejing Huang*, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira (*equal contributions)
ECOOP 2022
paper / extended paper / demo / artifact
Awards
- Wolfond Fellowship, 2024
- ECOOP 2023 Distinguished Artifact, 2023
Teaching
- Teaching Assistant of Data Structures and Analysis (CSC263), University of Toronto, Winter 2025
- Teaching Assistant of Principles of Programming Languages (CSC324), University of Toronto, Fall 2024
- Teaching Assistant of Principles of Programming Languages (COMP3031), HKUST, Fall 2023
- Teaching Assistant of Programming Principles (21190650), Zhejiang University, Fall 2021
Service
- Subreview: PLDI 2025, SPLASH 2022 SRC
- Artifact Evaluation: PLDI 2025, POPL 2025, PLDI 2024, POPL 2024
- Student Volunteer: ECOOP 2023, SPLASH 2022