Yaoda Zhou

I am Yaoda Zhou. I obtain my Ph.D. degree in Programming Language Group of the University of Hong Kong, supervised by Prof. Bruno C. d. S. Oliveira. My research topics range over type systems and type theory in terms of Object-Oriented Programming (OOP). More precisely, I propose new designs and implementations of iso-recursive subtyping and study its extensions.

News

• January 2023 Pass the thesis defence and rated as outstanding (top 5%).

Publication

• Recursive Subtyping For All.

  Litao Zhou#, Yaoda Zhou# and Bruno C. d. S. Oliveira (#Equal contributions)

  [paper] [extended version] [artifact] [slides]

  In 50th Symposium on Principles of Programming Languages (POPL 2023), 2023.

• A Calculus with Recursive Types, Record Concatenation and Subtyping.

  Yaoda Zhou, Bruno C. d. S. Oliveira and Andong Fan

  [paper] [artifact] [slides]

  In 20th Asian Symposium on Programming Languages and Systems (APLAS 2022), 2022.

• Revisiting Iso-Recursive Subtyping.

  Yaoda Zhou, Jinxu Zhao and Bruno C. d. S. Oliveira

  [paper] [preprint] [artifact] [slides]

  *This is the extended version of OOPSLA'20 paper.

  In ACM Transactions on Programming Languages and Systems (TOPLAS), 2022.

• Revisiting Iso-Recursive Subtyping.

  Yaoda Zhou, Bruno C. d. S. Oliveira and Jinxu Zhao

  [paper] [artifact]

  In 35th ACM International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2020), 2020.

Education

• B.S in Computer Science. Shanghai Jiao Tong University. 2013 - 2017

• Exchange/Visiting Student. Cornell University. 2016 - 2017

• Ph.D. in Computer Science. The University of Hong Kong. 2018 - 2023

Service

• Artifacts Evaluation Committee: PLDI 2021, POPL 2022, VMCAI 2023

• Session Chair: SPLASH 2020

• Student Volunteer: SPLASH 2020, ICFP 2021, POPL 2023