Inductive Synthesis of Inductive Heap Predicates
OOPSLA25: Object-Oriented Programming, Systems, Languages, and Applications 2025
Ziyi Yang, Ilya Sergey
OOPSLA25: Object-Oriented Programming, Systems, Languages, and Applications 2025
Ziyi Yang, Ilya Sergey
SLE24: 17th ACM SIGPLAN International Conference on Software Language Engineering
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
ECOOP24: 38th European Conference on Object-Oriented Programming
David Young*, Ziyi Yang*, Ilya Sergey, and Alex Potanin
FLOPS22: 16th International Symposium on Functional and Logic Programming
Ziyi Yang*, Yushuo Xiao*, Zhichao Guan and Zhenjiang Hu