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

2023

POPL

Author of Recursive Subtyping for All within the POPL-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2023-track

2022

APLAS

Author of A Calculus with Recursive Types, Record Concatenation and Subtyping within the APLAS-track

SPLASH

Author of Revisiting Iso-Recursive Subtyping within the COVID Time Papers In Person-track

POPL

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

2021

PLDI

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

2020

SPLASH