| Recursive Subtyping for All L Zhou, Y Zhou, BCS Oliveira Proceedings of the ACM on Programming Languages 7 (POPL), 1396-1425, 2023 | 5 | 2023 |
| VST-A: A Foundationally Sound Annotation Verifier L Zhou, J Qin, Q Wang, AW Appel, Q Cao Proceedings of the ACM on Programming Languages 8 (POPL), 2069-2098, 2024 | 4 | 2024 |
| Foundationally Sound Annotation Verifier via Control Flow Splitting L Zhou Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022 | 2 | 2022 |
| VST-A: A foundationally sound annotation verifier L Zhou, J Qin, Q Wang, AW Appel, Q Cao arXiv preprint arXiv:1909.00097, 2019 | 2 | 2019 |
| Full Iso-recursive Types L Zhou, Q Wan, BCS Oliveira arXiv preprint arXiv:2407.00941, 2024 | | 2024 |
| Compositional Programming with Full Iso-recursive Types L ZHOU | | |
