| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 19 Dec 2025 17:30:11 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"69458ba3-495f"
expires: Sun, 28 Dec 2025 04:56:42 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 8099:2680BD:733649:811BEE:6950B62D
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 04:46:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210022-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766897202.241783,VS0,VE206
vary: Accept-Encoding
x-fastly-request-id: a813d65d2ea355141ad1a3bbb30bc435dcd66036
content-length: 4409
Litao Zhou | University of Hong Kong
Ph.D. Candidate
University of Hong Kong
ltzhou (at) cs.hku.hk
Litao Zhou
About Me
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. From October 2025 to March 2026, I am a research engineer intern at Inria Paris Cambium Team.
Research Interests
- Type Systems: recursive types, formal semantics, subtyping and modules.
- Programming Language Design: modularity, object encoding, binary methods
- Program Verification: separation logic, interactive program verification
News
- [Nov. 2025] I had the pleasure to visit Tom Schrijvers in KU Leuven, Belgium.
- [Oct. 2025] I have joined Inria Cambium Team as a research engineer for 6 months, working with Didier Rémy on formalizing OCaml recursive modules.
- [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
Publications
-
Litao Zhou*, Yaoda Zhou*, Qianyong Wan, Bruno C. d. S. Oliveira (*Equal contributions)Journal of Functional Programming (JFP), 2025.
-
Litao Zhou, Bruno C. d. S. Oliveira52th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025.
-
Litao Zhou, Qianyong Wan, Bruno C. d. S. OliveiraObject-oriented Programming, Systems, Languages, and Applications (OOPSLA), 2024.
-
Litao ZhouStudent Research Competition of 51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL SRC), 2024.
-
Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024.
-
Litao Zhou*, Yaoda Zhou*, Bruno C. d. S. Oliveira (*Equal contributions)50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2023.
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
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
Powered by Jekyll and Minimal Light theme.