Litao Zhou

About Me

Hi, this is Tony, I am a member of the Programming Language Group of the University of Hong Kong (HKU PL Group), as a Ph.D student supervised by Prof. Bruno C. d. S. Oliveira. I am interested in programming languages design, type systems and recursive types.

Research Interests

• Type Systems: recursive types, formal semantics, subtyping and parametricity
• Programming Language Design: modularity, object encoding, binary methods
• Program Verification: separation logic, imperative program verification

News

• [May. 2025] I had the pleasure to visit Cambium Team in Paris and the CASH Team in Lyon, France, where I presented our work on “Recursive Subtyping for All”.
• [May. 2025] I attend the spring school of EPIT 2025.
• [Jan. 2025] Our paper “Recursive Subtyping for All” is accepted to Journal of Functional Programming. This is an extended version of our POPL 2023 paper.
• [Nov. 2024] Our paper “QuickSub: Efficient Iso-Recursive Subtyping” is accepted to POPL 2025
• [Oct. 2024] I attend SPLASH 2024 and present our paper “Full Iso-recursive Types”.
• [Jun. 2024] Our paper “Full Iso-recursive Types” is accepted to OOPSLA 2024

Publications

Education

• PhD Student in Computer Science. The University of Hong Kong. 2022 - present
• B.Eng in Computer Science. Shanghai Jiao Tong University. 2018 - 2022 [thesis]
• Exchange/Visiting Student. National University of Singapore. 2021

Teaching

• Teaching Assistant of Principles of Programming Languages (HKU). Spring 2024
• Teaching Assistant of Principles of Programming Languages (HKU). Spring 2023
• Teaching Assistant of C++ Programming (SJTU). Spring 2022

Services

Conference External Reviewers

• 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2024

Conference Artifact Reviewers

• ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2025
• 52th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2025
• 51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2024

Student Volunteers

• 26th ACM SIGPLAN International Conference on Functional Programming (ICFP) 2021
• European Conference on Object-Oriented Programming (ECOOP) 2023
• The Oregon Programming Languages Summer School (OPLSS) 2023
• 52th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2025

Misc

• My paper reading list

Powered by Jekyll and Minimal Light theme.