Research

I’m now a fourth-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.

Publications

[Google Scholar]

[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