Yaoda Zhou -

Registered user since Wed 19 Aug 2020

Name:Yaoda Zhou

Country:China

Affiliation:University of Hong Kong

Personal website:https://i.cs.hku.hk/~ydzhou/

Research interests:Type Theory

Contributions

POPL 2023	Author of Recursive Subtyping for All within the POPL-track
VMCAI 2023	Committee Member in Artifact Evaluation Committee within the VMCAI 2023-track
APLAS 2022	Author of A Calculus with Recursive Types, Record Concatenation and Subtyping within the APLAS-track
SPLASH 2022	Author of Revisiting Iso-Recursive Subtyping within the COVID Time Papers In Person-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2020	Author of Revisiting Iso-Recursive Subtyping within the OOPSLA Artifacts-track Author of Revisiting Iso-Recursive Subtyping within the Posters-track Author of Revisiting Iso-Recursive Subtyping within the OOPSLA-track Session Chair of T-2 (part of OOPSLA)