| 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 | 54 | 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 | 30 | 2020 |
| 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 | 21 | 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 | 13 | 2021 |
| Generalizable synthesis through unification R Ji, J Xia, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 11 | 2021 |
| Black-Box Algorithm Synthesis—Divide-and-Conquer and more R Ji, Y Xiong, Z Hu arXiv preprint arXiv:2202.12193, 2022 | 4 | 2022 |
| 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 | 2 | 2023 |
| Divide and Conquer Divide-and-Conquer--Inductive Synthesis for D&C-Like Algorithmic Paradigms R Ji, Y Zhao, Y Xiong, D Wang, L Zhang, Z Hu arXiv preprint arXiv:2202.12193, 2022 | 1 | 2022 |
| Synthesizing Efficient Dynamic Programming Algorithms R Ji, T Zhu, Y Xiong, Z Hu arXiv preprint arXiv:2202.12208, 2022 | 1 | 2022 |
| 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, 0 | 1 | |
| Scaling up Program Synthesis to Efficient Algorithms R Ji Companion Proceedings of the 2023 ACM SIGPLAN International Conference on …, 2023 | | 2023 |
| Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms R JI, T ZHU, Y XIONG, Z HU | | |
Yingfei XiongAssociate Professor, Peking UniversityBestätigte E-Mail-Adresse bei sei.pku.edu.cn
