Research
I am a postdoc at the University of Michigan, working with Prof. Xinyu Wang. I am interseted in program synthesis and all related problems, like program optimization and verification. I am also curious about the potential of these techniques in enhancing LLMs on domain-specific problems.
Publications
2025
| [OOPSLA25] | Guanlin Chen*, Ruyi Ji*, Shuhao Zhang*, Yingfei Xiong. Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis. OOPSLA'25: the OOPSLA issue of the Proceedings of the ACM on Programming Languages, October 2025. [Paper] |
| [EGRAPHS25] | Wentao Peng*, Ruyi Ji*, Yingfei Xiong. Equality Saturation Guided by Large Language Models. EGRAPHS workshop at PLDI 2025, June 2025. [Paper][Slides (with approach updated)] |
| [PhDThesis] | Ruyi Ji. Program Synthesis Guided by Algorithmic Paradigms. Ph.D. Thesis (in Chinese), School of Computer Science, Peking University, May 2025. [Paper] |
2024
| [FM24] | Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong. Proving Functional Program Equivalence via Directed Lemma Synthesis. FM'24: 26th International Symposium on Formal Methods, September 2024. [Paper] |
| [ICFP24] | Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova. CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs. ICFP'24: ACM SIGPLAN International Conference on Functional Programming, September 2024. [Paper] |
| [FSE24DEMO] | Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong. ASAC: A Benchmark for Algorithm Synthesis. FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track, July 2024. [Paper][Dataset] |
| [PLDI24] | Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2024. [Paper][Source][Online Demo] |
| [TOPLAS24] | Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu. Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms. TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted, January 2024. [Paper][Source] |
2023
| [SPLASH23DS] | Ruyi Ji. Scaling up Program Synthesis to Efficient Algorithms. SPLASH '23 Doctoral Symposium, September 2023. [Paper] |
| [OOPSLA23] | Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. OOPSLA'23: Object Oriented Programming Languages, Systems and Applications, February 2023. [Paper][Source] |
2022
| [Manuscript] | Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu. Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms. arXiv:2202.12208, April 2022. [Paper] |
2021
| [OOPSLA21] | Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu. Generalizable Synthesis Through Unification. OOPSLA'21: Object Oriented Programming Languages, Systems and Applications, October 2021. [Paper][Video][Source] |
| [ICSME21] | Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang. Interactive Patch Filtering as Debugging Aid. ICSME'21: 37th International Conference on Software Maintenance and Evolution, September 2021. IEEE TCSE Distinguished Paper Award [Paper] |
2020
| [OOPSLA20] | Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu. Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example. OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020, November 2020. [Paper][Video][Source] |
| [TOSEM20] | Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. TOSEM: ACM Transactions on Software Engineering and Methodology, August 2020. [Paper][Home Page] |
| [PLDI20] | Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu. Question Selection for Interactive Program Synthesis. PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, June 2020.[Paper][Video][Source] |
* equal contribution
Academic Service
- Reviewer: Journal of Software, Journal of Functional Programming
- Judge: SPLASH'23 Student Research Competition