DSLs in Racket: You Want It How, Now?
Published in 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024)
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
Publications
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Published in 38th European Conference on Object-Oriented Programming (ECOOP 2024)
David Young*, Ziyi Yang*, Ilya Sergey, and Alex Potanin
A Lazy Desugaring System for Evaluating Programs with Sugars
Published in 16th International Symposium on Functional and Logic Programming (FLOPS 2022)
Ziyi Yang*, Yushuo Xiao*, Zhichao Guan and Zhenjiang Hu