Follow
Yizhou Zhang
Yizhou Zhang
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Abstraction-Safe Effect Handlers via Tunneling
Y Zhang, AC Myers
Proceedings of the ACM on Programming Languages 3 (POPL), 5, 2019
472019
Lightweight, Flexible, Object-Oriented Generics
Y Zhang, MC Loring, G Salvaneschi, B Liskov, AC Myers
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
332015
Accepting Blame for Safe Tunneled Exceptions
Y Zhang, G Salvaneschi, Q Beightol, B Liskov, AC Myers
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
272016
Handling bidirectional control flow
Y Zhang, G Salvaneschi, AC Myers
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
122020
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Y Zhang, AC Myers
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017
102017
Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion
Y Zhang, N Amin
Technical Report CS-2021-02. School of Computer Science, University of …, 2021
32021
Abstraction-Safe Effect Handlers via Tunneling: Technical Report
Y Zhang, AC Myers
22018
Accepting Blame: Expressive Checked Exceptions
Y Zhang, G Salvaneschi, Q Beightol, B Liskov, AC Myers
http://hdl.handle.net/1813/43784, 2016
22016
Handling Bidirectional Control Flow: Technical Report
Y Zhang, G Salvaneschi, AC Myers
arXiv preprint arXiv:2010.09073, 2020
12020
Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach
J Banfi, Y Zhang, GE Suh, AC Myers, M Campbell
IEEE Robotics and Automation Letters 5 (4), 6884-6891, 2020
12020
Unifying interfaces, type classes, and family polymorphism
Y Zhang, AC Myers
Technical report, September, 2017
12017
Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion
Y Zhang, N Amin
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
2022
Reasoning about “Reasoning about Reasoning”
Y ZHANG, N AMIN
Proceedings of the ACM on Programming Languages 6 (POPL), 2022
2022
Designing Flexible, Modular Linguistic Abstractions
Y Zhang
Cornell University, 2019
2019
Genus: Making Generics Object-Oriented, Expressive, and Lightweight Technical Report
Y Zhang, MC Loring, G Salvaneschi, B Liskov, AC Myers
http://hdl.handle.net/1813/39910, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–15