Portfolio item number 1
Published:
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Published:
Short description of portfolio item number 2
publications
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
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
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
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.