Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Who am I?
About me
Who am I?
About me
Page not in menu
This is a page not in th emain menu
Posts
Solidarity, exclusion and ego
Published:
团结? solidarity or unity?
Why the series of “the evil of Hengshui Highschool” is not updated anymore? 为什么”衡中之恶”系列不再更新？
Published:
Years ago, when (and after) I suffered from the crazy school, I set “changing the education in Hebei (the province I was born in) to saving millions of young generation from being tainted by the horrible mind” as one of my lifelong goals. I quitted after realising…
demonization, false dilemma
Published:
To be written..
Stereotype, political correctness and labeling
Published:
To be finished soon!
portfolio
Portfolio item number 1
Published:
Short description of portfolio item number 1
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.