We stand with Ukraine  

Litao Zhou

Orcid: 0000-0003-3046-7085

Affiliations:
  • University of Hong Kong, Hong Kong, SAR, China


According to our database1, Litao Zhou authored at least 6 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
QuickSub: Efficient Iso-Recursive Subtyping.
[BibTeX]
[DOI]
Litao Zhou
,
Bruno C. d. S. Oliveira
Proc. ACM Program. Lang., 2025

Recursive subtyping for all.
[BibTeX]
[DOI]
Litao Zhou
,
Yaoda Zhou
,
Qianyong Wan
,
Bruno C. d. S. Oliveira
J. Funct. Program., 2025

2024
VST-A: A Foundationally Sound Annotation Verifier.
[BibTeX]
[DOI]
Litao Zhou
,
Jianxing Qin
,
Qinshi Wang
,
Andrew W. Appel
,
Qinxiang Cao
Proc. ACM Program. Lang., January, 2024

Full Iso-Recursive Types.
[BibTeX]
[DOI]
Litao Zhou
,
Qianyong Wan
,
Bruno C. d. S. Oliveira
Proc. ACM Program. Lang., 2024

2023
Recursive Subtyping for All.
[BibTeX]
[DOI]
Litao Zhou
,
Yaoda Zhou
,
Bruno C. d. S. Oliveira
Proc. ACM Program. Lang., January, 2023

2022
Foundationally Sound Annotation Verifier via Control Flow Splitting.
[BibTeX]
[DOI]
Litao Zhou
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022


  Loading...