| Abstraction-Safe Effect Handlers via Tunneling Y Zhang, AC Myers Proceedings of the ACM on Programming Languages 3 (POPL), 5, 2019 | 65 | 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 | 37 | 2015 |
| 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 | 34 | 2022 |
| 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 | 32 | 2016 |
| Handling bidirectional control flow Y Zhang, G Salvaneschi, AC Myers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 16 | 2020 |
| Familia: Unifying Interfaces, Type Classes, and Family Polymorphism Y Zhang, AC Myers Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017 | 15 | 2017 |
| Extensible Metatheory Mechanization via Family Polymorphism E Jin, N Amin, Y Zhang Proceedings of the ACM on Programming Languages 7 (PLDI), 1608-1632, 2023 | 5 | 2023 |
| 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 | 5 | 2023 |
| 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 | 3 | 2020 |
| 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 |
| Compiling Probabilistic Programs for Variable Elimination with Information Flow J Li, E Wang, Y Zhang Proceedings of the ACM on Programming Languages 8 (PLDI), 1755-1780, 2024 | 1 | 2024 |
| Compiling Probabilistic Programs for Variable Elimination with Information Flow (Extended Version) J Li, E Wang, Y Zhang Technical Report CS-2024-03. School of Computer Science, University of …, 2024 | 1 | 2024 |
| 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 | 1 | 2023 |
| 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 | 1 | 2022 |
| Handling Bidirectional Control Flow: Technical Report Y Zhang, G Salvaneschi, AC Myers arXiv preprint arXiv:2010.09073, 2020 | 1 | 2020 |
| Unifying interfaces, type classes, and family polymorphism Y Zhang, AC Myers Technical report, September, 2017 | 1 | 2017 |
| Persimmon: Nested Family Polymorphism with Extensible Variant Types A Kravchuk-Kirilyuk, G Feng, J Iskander, Y Zhang, N Amin Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 698-724, 2024 | | 2024 |
| mediKanren: a System for Biomedical Reasoning M ZHENG, A JAIN, M BALLANTYNE, K ZHANG, M CHEN, J WHITLOCK, ... | | 2020 |
