avatar

Litao Zhou

Ph.D. Candidate
University of Hong Kong
ltzhou (at) cs.hku.hk



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

News

Publications

  1. QuickSub: Efficient Iso-Recursive Subtyping
    Litao Zhou, Bruno C. d. S. Oliveira
    52th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025.
    artifact paper appendix slides

  2. Full Iso-recursive Types
    Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
    Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), 2024.
    preprint paper artifact slides

  3. Compositional Programming with Full Iso-recursive Types
    Litao Zhou
    Student Research Competition of 51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL SRC), 2024.
    abstract demo poster

  4. VST-A: A Foundationally Sound Annotation Verifier
    Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao
    51th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024.
    paper preprint artifact

  5. Recursive Subtyping for All
    Litao Zhou*, Yaoda Zhou*, Bruno C. d. S. Oliveira (*Equal contributions)
    50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2023.
    paper artifact Selected for Special Issue of Journal of Functional Programming (to appear)

  6. Foundationally Sound Annotation Verifier via Control Flow Splitting
    Litao Zhou
    Student Research Competition of ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH SRC), 2022.
    poster abstract slide artifact report 3rd Prize in Graduate Category

Education

Teaching

Services

Conference External Reviewers

Conference Artifact Reviewers

Student Volunteers

Misc


Powered by Jekyll and Minimal Light theme.