Lightweight, flexible object-oriented generics. - Yizhou Zhang 001; Matthew C. Loring; Guido Salvaneschi; Barbara Liskov; Andrew C. Myers (PLDI, 2015)

Accepting blame for safe tunneled exceptions. - Yizhou Zhang 001; Guido Salvaneschi; Quinn Beightol; Barbara Liskov; Andrew C. Myers (PLDI, 2016)

Familia: unifying interfaces, type classes, and family polymorphism. - Yizhou Zhang 001; Andrew C. Myers (Proc. ACM Program. Lang., 2017)

Abstraction-safe effect handlers via tunneling. - Yizhou Zhang 001; Andrew C. Myers (Proc. ACM Program. Lang., 2019)

Designing Flexible, Modular Linguistic Abstractions. - Yizhou Zhang 001 (2019)

Handling Bidirectional Control Flow: Technical Report. - Yizhou Zhang 001; Guido Salvaneschi; Andrew C. Myers (CoRR, 2020)

Handling bidirectional control flow. - Yizhou Zhang 001; Guido Salvaneschi; Andrew C. Myers (Proc. ACM Program. Lang., 2020)

Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach. - Jacopo Banfi; Yizhou Zhang 001; G. Edward Suh; Andrew C. Myers; Mark E. Campbell (IEEE Robotics Autom. Lett., 2020)

Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion. - Yizhou Zhang 001; Nada Amin (Proc. ACM Program. Lang., 2022)

Extensible Metatheory Mechanization via Family Polymorphism. - Ende Jin; Nada Amin; Yizhou Zhang 001 (Proc. ACM Program. Lang., 2023)

Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference. - Jianlin Li; Leni Ven; Pengyuan Shi; Yizhou Zhang 001 (Proc. ACM Program. Lang., 2023)

Persimmon: Nested Family Polymorphism with Extensible Variant Types. - Anastasiya Kravchuk-Kirilyuk; Gary Feng; Jonas Iskander; Yizhou Zhang 001; Nada Amin (Proc. ACM Program. Lang., 2024)

Compiling Probabilistic Programs for Variable Elimination with Information Flow. - Jianlin Li; Eric Wang; Yizhou Zhang 001 (Proc. ACM Program. Lang., 2024)

Lexical Effect Handlers, Directly. - Cong Ma; Zhaoyi Ge; Edward Lee 001; Yizhou Zhang 001 (Proc. ACM Program. Lang., 2024)

Certified Compilers à la Carte. - Oghenevwogaga Ebresafe; Ian Zhao; Ende Jin; Arthur Bright; Charles Jian; Yizhou Zhang 001 (Proc. ACM Program. Lang., 2025)