Litao Zhou
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2023–2025
on a stage with
- Andrew W. Appelonce
- Jianxing Qinonce
- Qianyong Wanonce
all 6 in the filters
who talks about the same things
- Yaoda Zhou3 talks
- Shengyi Jiang5 talks
- Yaozhu Sun3 talks
- Chen Cui3 talks
- Ondřej Lhoták11 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| QuickSub: Efficient Iso-Recursive Subtyping | POPL 2025 | 2025-01-19 |
QuickSub is an algorithm for iso-recursive subtyping that is equivalent to the Amber rules but avoids renaming, unfolding and backtracking by tracking polarity… | ||
| Full Iso-recursive Types | OOPSLA 2024 | 2024-10-20 |
Presents a new formulation called λFiµ that replaces iso-recursive fold/unfold with general erasable casts so equi-recursive programs encode without runtime… | ||
| VST-A: A Foundationally Sound Annotation Verifier | POPL 2024 | 2024-01-14 |
VST-A is an annotation verifier that parses C into control‑flow graphs, splits functions into paths (four paths for the linked‑list reverse example) and… | ||
| Recursive Subtyping for All | POPL 2023 | 2023-01-15 |
Presents F_{≤}^{μ}, a kernel F_{≤} extension that adds iso-recursive types plus nominal unfolding rules and new structural folding/unfolding rules, and proves… | ||
| nothing matches | ||