Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
publications
Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis
Published in Proceedings of the ACM on Programming Languages, Volume 9, Issue OOPSLA2 (OOPSLA 2025), 2025
Guanlin Chen*, Ruyi Ji*, Shuhao Zhang*, Yingfei Xiong. Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis. Proceedings of the ACM on Programming Languages, Volume 9, Issue OOPSLA2, Pages 3508-3532.
DOI | PDF | Supplementary Materials
talks
我与算法竞赛的这十年：一位偏远省份学生的突围历程
Published:
我与算法竞赛结缘已经整整十年。对于身在偏远省份的我而言，算法竞赛不仅是一场能力比拼，更是一扇通向更广阔世界的窗户，彻底开拓了我的视野，并为我深入学习计算机科学打开了系统性的大门。希望这次分享能为后来者提供一份可实践的指南，一方面能够在竞赛学习过程中克服资源限制、构建自学体系，实现偏远省份学生的突围，另一方面能以算法竞赛为契机，实现计算机科学的启蒙与个人成长。