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
642019
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
362015
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
302016
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
282022
Handling bidirectional control flow
Y Zhang, G Salvaneschi, AC Myers
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
162020
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Y Zhang, AC Myers
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017
142017
Extensible Metatheory Mechanization via Family Polymorphism
E Jin, N Amin, Y Zhang
Proceedings of the ACM on Programming Languages 7 (PLDI), 1608-1632, 2023
32023
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
32020
Type-preserving, dependence-aware guide generation for sound, effective amortized probabilistic inference
J Li, L Ven, P Shi, Y Zhang
Proceedings of the ACM on Programming Languages 7 (POPL), 1454-1482, 2023
22023
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
22021
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
Extensible Metatheory Mechanization via Family Polymorphism: Technical Report
E Jin, N Amin, Y Zhang
Technical Report CS-2023-01. School of Computer Science, University of …, 2023
12023
Synthesizing Guide Programs for Sound, Effective Deep Amortized Inference
J Li, L Ven, P Shi, Y Zhang
School of Computer Science, University of Waterloo, 2022
12022
Handling Bidirectional Control Flow: Technical Report
Y Zhang, G Salvaneschi, AC Myers
arXiv preprint arXiv:2010.09073, 2020
12020
Unifying interfaces, type classes, and family polymorphism
Y Zhang, AC Myers
Technical report, September, 2017
12017
mediKanren: a System for Biomedical Reasoning
M ZHENG, A JAIN, M BALLANTYNE, K ZHANG, M CHEN, J WHITLOCK, ...
2020
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–19