Yizhou Zhang

17 papers A* 2Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certified Compilers à la Carte.
Proc. ACM Program. Lang.
Oghenevwogaga Ebresafe, Ian Zhao, Ende Jin, Arthur Bright, Charles Jian, Yizhou Zhang
2025 J jnl
Compiling with Generating Functions.
Proc. ACM Program. Lang.
Jianlin Li, Yizhou Zhang
2025 J jnl
Zero-Overhead Lexical Effect Handlers.
Proc. ACM Program. Lang.
Cong Ma, Zhaoyi Ge, Max Jung, Yizhou Zhang
2024 J jnl
Compiling Probabilistic Programs for Variable Elimination with Information Flow.
Proc. ACM Program. Lang.
Jianlin Li, Eric Wang, Yizhou Zhang
2024 J jnl
Lexical Effect Handlers, Directly.
Proc. ACM Program. Lang.
Cong Ma, Zhaoyi Ge, Edward Lee, Yizhou Zhang
2024 J jnl
Persimmon: Nested Family Polymorphism with Extensible Variant Types.
Proc. ACM Program. Lang.
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin
2023 J jnl
Extensible Metatheory Mechanization via Family Polymorphism.
Proc. ACM Program. Lang.
Ende Jin, Nada Amin, Yizhou Zhang
2023 J jnl
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference.
Proc. ACM Program. Lang.
Jianlin Li, Leni Aniva, Pengyuan Shi, Yizhou Zhang
2022 J jnl
Reasoning about "reasoning about reasoning": semantics and contextual equivalence for probabilistic programs with nested queries and recursion.
Proc. ACM Program. Lang.
Yizhou Zhang, Nada Amin
2020 J jnl
Handling Bidirectional Control Flow: Technical Report.
CoRR
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
2020 J jnl
Handling bidirectional control flow.
Proc. ACM Program. Lang.
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
2020 J jnl
Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach.
IEEE Robotics Autom. Lett.
Jacopo Banfi, Yizhou Zhang, G. Edward Suh, Andrew C. Myers, Mark E. Campbell
2019 J jnl
Abstraction-safe effect handlers via tunneling.
Proc. ACM Program. Lang.
Yizhou Zhang, Andrew C. Myers
2019 — —
Designing Flexible, Modular Linguistic Abstractions.
Yizhou Zhang
2017 J jnl
Familia: unifying interfaces, type classes, and family polymorphism.
Proc. ACM Program. Lang.
Yizhou Zhang, Andrew C. Myers
2016 A* conf
Accepting blame for safe tunneled exceptions.
PLDI
Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers
2015 A* conf
Lightweight, flexible object-oriented generics.
PLDI
Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers