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
(Long-term Updating) Chinese Cities
Published:
Just been back from a long trip to Europe. I enjoyed traveling, but might be kind of different from the mainstream tourism: I don’t spend much time in the famous spots, instead I like to walk around the small streets and alleys to understand the local life.
Rational and Emotional
Published:
Before starting: last month I wrote sth about, but not refined enough to make it public.
Resources on ASP (and others, unfinished)
Published:
I’m reorganising my bookmark on recent weekends. There were moments when I realised that some resource might be better to share boardly instead of lying in the explorer (mainly inspired by Philip Zucker’s blog).
Difference between scientific learning and empirical learning
Published:
Thinking of my own learning experience, one of the most important things I summarised is the difference between scientific learning and empirical learning.
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
Inductive Synthesis of First-Order Formulas
(To appear in) ICLP25: 41st International Conference on Logic Programming
Ziyi Yang, George Pîrlea 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.