Ziyi Yang

According to our database, Ziyi Yang authored at least 9 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Inductive Synthesis of Inductive Heap Predicates - Extended Version.

Ziyi Yang, Ilya Sergey

CoRR, February, 2025

Inductive Synthesis of Inductive Heap Predicates.

Ziyi Yang, Ilya Sergey

Proc. ACM Program. Lang., 2025

2024

Sippy: the Artefact for the Paper "Inductive Synthesis of Inductive Heap Predicates".

Ziyi Yang, Ilya Sergey

Dataset, October, 2024

DSLs in Racket: You Want It How, Now? (SLE24 Artifact).

Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey

Dataset, September, 2024

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact).

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

Dagstuhl Artifacts Ser., 2024

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version).

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

CoRR, 2024

DSLs in Racket: You Want It How, Now?

Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey

Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, 2024

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers.

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

A Lazy Desugaring System for Evaluating Programs with Sugars.

Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022