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

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

  • 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
xSat 17 May 10:35
using conf.researchr.org (v1.69.0)
Support page
Sign Up