| Beyond tests: Program vulnerability repair via crash constraint extraction X Gao, B Wang, GJ Duck, R Ji, Y Xiong, A Roychoudhury ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (2), 1-27, 2021 | 96 | 2021 |
| Question selection for interactive program synthesis R Ji, J Liang, Y Xiong, L Zhang, Z Hu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 35 | 2020 |
| Interactive patch filtering as debugging aid J Liang, R Ji, J Jiang, S Zhou, Y Lou, Y Xiong, G Huang 2021 IEEE International Conference on Software Maintenance and Evolution …, 2021 | 25 | 2021 |
| Guiding dynamic programing via structural probability for accelerating programming by example R Ji, Y Sun, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 22 | 2020 |
| Generalizable synthesis through unification R Ji, J Xia, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 13 | 2021 |
| Decomposition-based synthesis for applying divide-and-conquer-like algorithmic paradigms R Ji, Y Zhao, Y Xiong, D Wang, L Zhang, Z Hu ACM Transactions on Programming Languages and Systems 46 (2), 1-59, 2024 | 10* | 2024 |
| Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection R Ji, C Kong, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 819-847, 2023 | 3 | 2023 |
| CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs C Kurashige, R Ji, A Giridharan, M Barbone, D Noor, S Itzhaky, R Jhala, ... Proceedings of the ACM on Programming Languages 8 (ICFP), 818-844, 2024 | 1 | 2024 |
| Asac: A benchmark for algorithm synthesis Z Zhang, Y Sun, R Ji, S Li, X Peng, Z Huang, S Li, T Zhu, Y Xiong Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 1 | 2024 |
| Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms R JI, T ZHU, Y XIONG, Z HU | 1* | |
| Proving Functional Program Equivalence via Directed Lemma Synthesis Y Sun, R Ji, J Fang, X Jiang, M Chen, Y Xiong International Symposium on Formal Methods, 538-557, 2024 | | 2024 |
| Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis R Ji, Y Zhao, N Polikarpova, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 8 (PLDI), 939-964, 2024 | | 2024 |
| Programming Languages and Systems R Giacobazzi, I Mastroeni, E Perantoni, A Nougrahiya, VK Nandivada, ... ACM Transactions on 46 (2), 2024 | | 2024 |
| Scaling up Program Synthesis to Efficient Algorithms R Ji Companion Proceedings of the 2023 ACM SIGPLAN International Conference on …, 2023 | | 2023 |
Yingfei XiongAssociate Professor, Peking Universityכתובת אימייל מאומתת בדומיין sei.pku.edu.cn