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

X (Twitter): https://x.com/yizhouzhang

Contributions

2024

SPLASH

Committee Member in Review Committee within the OOPSLA 2024-track
Author of Persimmon: Nested Family Polymorphism with Extensible Variant Types within the OOPSLA 2024-track
Author of Lexical Effect Handlers, Directly within the OOPSLA 2024-track

PLDI

Session Chair of Types and Effects (part of PLDI Research Papers)
Author of Compiling Probabilistic Programs for Variable Elimination with Information Flow within the PLDI Research Papers-track
Committee Member in PLDI Review Committee within the PLDI Research Papers-track

POPL

2023

PLDI

POPL

Author of Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference within the POPL-track

2022

HOPE

Committee Member in Program Committee within the HOPE 2022-track

PLDI

Committee Member in PLDI within the PLDI-track

POPL

Author of Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion within the POPL-track

2020

APLAS

Committee Member in Program Committee

SPLASH

2019

POPL

Author of Abstraction-Safe Effect Handlers via Tunneling within the Research Papers-track

2017

SPLASH

Author of Familia: Unifying Interfaces, Type Classes, and Family Polymorphism within the OOPSLA-track

2016

PLDI

Author of Accepting Blame for Safe Tunneled Exceptions within the Research Papers-track

2015

PLDI

Author of Lightweight, Flexible Object-Oriented Generics within the Research Papers-track