YDL
Publications
Blog Posts
CV

Ziyi Yang

Promise to keep writing monthly blog post starting from Feb 2025.

Email
Github

Inductive Synthesis of Inductive Heap Predicates

Published in OOPSLA25: Object-Oriented Programming, Systems, Languages, and Applications 2025, 2025

Share on

Twitter Facebook LinkedIn

© 2025 Ziyi Yang. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.