Yizhou Zhang

According to our database, Yizhou Zhang authored at least 10 papers between 2015 and 2023.

Collaborative distances:

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

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

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