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 | 56 | 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 | 32 | 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 | 14 | 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 | 12 | 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 |
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 | 2 | |
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 |
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis R JI, Y ZHAO, N POLIKARPOVA, Y XIONG, Z HU | | 2024 |
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 | | |