• Sign in
  • Sign up
conf.researchr.org / Yaoda Zhou
  • PLDI 2021 profile
  • POPL 2022 profile
  • SPLASH 2020 profile
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 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)

Share
xThu 7 Jul 09:38
using conf.researchr.org (v1.56.1)
Support page
Sign Up