Litao Zhou -

Registered user since Thu 4 Jun 2020

Name:Litao Zhou

Country:China

Affiliation:University of Hong Kong

Contributions

2025

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of QuickSub: Efficient Iso-Recursive Subtyping within the POPL-track

2024

SPLASH

Author of Full Iso-recursive Types within the OOPSLA 2024-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of VST-A: A Foundationally Sound Annotation Verifier within the POPL-track
Author of Compositional Programming with Full Iso-recursive Types within the Student Research Competition-track

2023

POPL

Author of Recursive Subtyping for All within the POPL-track

2022

SPLASH

Author of Foundationally Sound Annotation Verifier via Control Flow Splitting within the Student Research Competition-track