Yizhou Zhang -

Registered user since Fri 20 Feb 2015

Name:Yizhou Zhang

Country:Canada

Affiliation:University of Waterloo

Personal website:https://cs.uwaterloo.ca/~yizhou

Contributions

HOPE 2022	Committee Member in Program Committee within the HOPE 2022-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
POPL 2022	Author of Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion within the POPL-track
APLAS 2020	Committee Member in Program Committee
SPLASH 2020	Author of Handling Bidirectional Control Flow within the OOPSLA-track Author of Handling Bidirectional Control Flow within the OOPSLA Artifacts-track
POPL 2019	Author of Abstraction-Safe Effect Handlers via Tunneling within the Research Papers-track
SPLASH 2017	Author of Familia: Unifying Interfaces, Type Classes, and Family Polymorphism within the OOPSLA-track
PLDI 2016	Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track
PLDI 2015	Author of Lightweight, Flexible Object-Oriented Generics within the Research Papers-track