| Abstraction-Safe Effect Handlers via Tunneling Y Zhang, AC Myers Proceedings of the ACM on Programming Languages 3 (POPL), 5, 2019 | 53 | 2019 |
| 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 | 34 | 2015 |
| 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 | 29 | 2016 |
| Handling bidirectional control flow Y Zhang, G Salvaneschi, AC Myers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 15 | 2020 |
| Familia: Unifying Interfaces, Type Classes, and Family Polymorphism Y Zhang, AC Myers Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017 | 10 | 2017 |
| 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 | 5 | 2022 |
| 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 | 2 | 2021 |
| Abstraction-Safe Effect Handlers via Tunneling: Technical Report Y Zhang, AC Myers | 2 | 2018 |
| Accepting Blame: Expressive Checked Exceptions Y Zhang, G Salvaneschi, Q Beightol, B Liskov, AC Myers http://hdl.handle.net/1813/43784, 2016 | 2 | 2016 |
| Handling Bidirectional Control Flow: Technical Report Y Zhang, G Salvaneschi, AC Myers arXiv preprint arXiv:2010.09073, 2020 | 1 | 2020 |
| 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 | 1 | 2020 |
| Unifying interfaces, type classes, and family polymorphism Y Zhang, AC Myers Technical report, September, 2017 | 1 | 2017 |
| 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 |
