Inductive Synthesis of Inductive Heap Predicates
OOPSLA25: Object-Oriented Programming, Systems, Languages, and Applications 2025
Ziyi Yang, Ilya Sergey
Publications
DSLs in Racket: You Want It How, Now?
SLE24: 17th ACM SIGPLAN International Conference on Software Language Engineering
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
ECOOP24: 38th European Conference on Object-Oriented Programming
David Young*, Ziyi Yang*, Ilya Sergey, and Alex Potanin
A Lazy Desugaring System for Evaluating Programs with Sugars
FLOPS22: 16th International Symposium on Functional and Logic Programming
Ziyi Yang*, Yushuo Xiao*, Zhichao Guan and Zhenjiang Hu