Yizhou Zhang

According to our database, Yizhou Zhang authored at least 15 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Certified Compilers à la Carte.

Oghenevwogaga Ebresafe, Ian Zhao, Ende Jin, Arthur Bright, Charles Jian, Yizhou Zhang

Proc. ACM Program. Lang., 2025

2024

Lexical Effect Handlers, Directly.

Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang

Proc. ACM Program. Lang., 2024

Compiling Probabilistic Programs for Variable Elimination with Information Flow.

Jianlin Li, Eric Wang, Yizhou Zhang

Proc. ACM Program. Lang., 2024

Persimmon: Nested Family Polymorphism with Extensible Variant Types.

Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin

Proc. ACM Program. Lang., 2024

2023

Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference.

Jianlin Li, Leni Ven, Pengyuan Shi, Yizhou Zhang

Proc. ACM Program. Lang., January, 2023

Extensible Metatheory Mechanization via Family Polymorphism.

Ende Jin, Nada Amin, Yizhou Zhang

Proc. ACM Program. Lang., 2023

2022

Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion.

Yizhou Zhang, Nada Amin

Proc. ACM Program. Lang., 2022

2020

Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach.

Jacopo Banfi, Yizhou Zhang, G. Edward Suh, Andrew C. Myers, Mark E. Campbell

IEEE Robotics Autom. Lett., 2020

Handling bidirectional control flow.

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

Proc. ACM Program. Lang., 2020

Handling Bidirectional Control Flow: Technical Report.

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

CoRR, 2020

2019

Designing Flexible, Modular Linguistic Abstractions.

Yizhou Zhang

PhD thesis, 2019

Abstraction-safe effect handlers via tunneling.

Yizhou Zhang, Andrew C. Myers

Proc. ACM Program. Lang., 2019

2017

Familia: unifying interfaces, type classes, and family polymorphism.

Yizhou Zhang, Andrew C. Myers

Proc. ACM Program. Lang., 2017

2016

Accepting blame for safe tunneled exceptions.

Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Lightweight, flexible object-oriented generics.

Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015