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
What is “a not bad behavior”, and what to do with bad behaviors?
Published:
People are having different standard on “what is good”. Specifically, many people enjoy commenting on others’ behavior. This’s not strange: expressing opinions is a way to “being an individual”, just like I’m writing to record my own thoughts (to be acknowledged by others or not).
Stereotype, political correctness and labeling: why “individual” matters
Published:
This is a topic having been in my mind for years.
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..
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
FLOPS22: 16th International Symposium on Functional and Logic Programming
Ziyi Yang*, Yushuo Xiao*, Zhichao Guan and Zhenjiang Hu
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
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
Inductive Synthesis of Inductive Heap Predicates
OOPSLA25: Object-Oriented Programming, Systems, Languages, and Applications 2025
Ziyi Yang, 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.