| Abstraction-Safe Effect Handlers via Tunneling Y Zhang, AC Myers Proceedings of the ACM on Programming Languages 3 (POPL), 5, 2019 | 82 | 2019 |
| 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 | 71 | 2022 |
| 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 | 43 | 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 | 38 | 2016 |
| Handling bidirectional control flow Y Zhang, G Salvaneschi, AC Myers Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 23 | 2020 |
| Familia: Unifying Interfaces, Type Classes, and Family Polymorphism Y Zhang, AC Myers Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017 | 23 | 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 | 16 | 2023 |
| Lexical Effect Handlers, Directly YZ Cong Ma, Zhaoyi Ge, Edward Lee Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1670-1698, 2024 | 9 | 2024 |
| Type-preserving, dependence-aware guide generation for sound, effective amortized probabilistic inference J Li, L Aniva, P Shi, Y Zhang Proceedings of the ACM on Programming Languages 7 (POPL), 1454-1482, 2023 | 9 | 2023 |
| 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 | 8 | 2024 |
| 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 | 7 | 2024 |
| mediKanren: A system for bio-medical reasoning WE Byrd, G Rosenblatt, MJ Patton, TK Tran-Nguyen, M Zheng, A Jain, ... miniKanren Workshop, 2020 | 5 | 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 | 4 | 2020 |
| Zero-Overhead Lexical Effect Handlers C Ma, Z Ge, M Jung, Y Zhang Proceedings of the ACM on Programming Languages 9 (OOPSLA2), 3533-3559, 2025 | 3 | 2025 |
| Certified compilers à la carte O Ebresafe, I Zhao, E Jin, A Bright, C Jian, Y Zhang Proceedings of the ACM on Programming Languages 9 (PLDI), 372-395, 2025 | 3 | 2025 |
| Certified Compilers à la Carte (Extended Version) O Ebresafe, I Zhao, E Jin, A Bright, C Jian, Y Zhang Technical Report CS-2025-02. School of Computer Science, University of Waterloo, 2025 | 2 | 2025 |
| 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 with Generating Functions J Li, Y Zhang Proceedings of the ACM on Programming Languages 9 (ICFP), 830-854, 2025 | 1 | 2025 |
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
