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 | 70 | 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 | 34 | 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 | 22 | 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 | 18 | 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 |

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, 2024 | 5 | 2024 |

Black-Box Algorithm Synthesis–Divide-and-Conquer and More R Ji, Y Xiong, Z Hu arXiv preprint arXiv:2202.12193, 2022 | 3 | 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 |

Synthesizing Efficient Dynamic Programming Algorithms R Ji, T Zhu, Y Xiong, Z Hu arXiv preprint arXiv:2202.12208, 2022 | 1 | 2022 |

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 | | 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 | | 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 |

Proving Functional Program Equivalence via Directed Lemma Synthesis Y Sun, R Ji, J Fang, X Jiang, M Chen, Y Xiong arXiv preprint arXiv:2405.11535, 2024 | | 2024 |

Programming Languages and Systems S Giallorenzo, F Montesi, M Peressotti, J Haas, R Mogk, E Yanakieva, ... ACM Transactions on 46 (1), 2024 | | 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 | | |