Research
I’m now a fifth-year Ph.D. student in the Programming Language Lab (PLL) at Peking University, advised by Prof. Zhenjiang Hu and Prof. Yingfei Xiong. I am interested in program synthesis and all related problems, like program optimization and verification.
Publications
| [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] |
| [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] |
| [Manuscript] | Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu. Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms. arXiv:2202.12208, April 2022. [Paper] |
| [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] |
| [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] |
Academic Service
- 2023, Judge: SPLASH'23 Student Research Competition