[go: up one dir, main page]

Follow
Yizhou Zhang
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
822019
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
712022
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
432015
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
382016
Handling bidirectional control flow
Y Zhang, G Salvaneschi, AC Myers
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
232020
Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Y Zhang, AC Myers
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 70, 2017
232017
Extensible Metatheory Mechanization via Family Polymorphism
E Jin, N Amin, Y Zhang
Proceedings of the ACM on Programming Languages 7 (PLDI), 1608-1632, 2023
162023
Lexical Effect Handlers, Directly
YZ Cong Ma, Zhaoyi Ge, Edward Lee
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1670-1698, 2024
92024
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
92023
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
82024
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
72024
mediKanren: A system for bio-medical reasoning
WE Byrd, G Rosenblatt, MJ Patton, TK Tran-Nguyen, M Zheng, A Jain, ...
miniKanren Workshop, 2020
52020
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
42020
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
32025
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
32025
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
22025
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
Compiling with Generating Functions
J Li, Y Zhang
Proceedings of the ACM on Programming Languages 9 (ICFP), 830-854, 2025
12025
The system can't perform the operation now. Try again later.
Articles 1–20