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

• [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
• [Mar. 2024] I have passed the probationary review and advanced to Ph.D. candidature.
• [Feb. 2024] I serve as the external reviewer for LICS 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

• 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

Misc

• My paper reading list

Powered by Jekyll and Minimal Light theme.