164 citations · 404 across the 23 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?
Qingyuan Liang, Zhao Zhang, Zeyu Sun +9
Grammar serves as a cornerstone in programming languages and software engineering, providing frameworks to define the syntactic space and program structure. Existing research demon…
cs.PL2022
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
Ruyi Ji, Yuwei Zhao, Yingfei Xiong +3
Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide developers in designing efficient algorithms, but it can still be difficult to apply algorithmic paradi…
cs.PL2021
Occam Learning Meets Synthesis Through Unification
Ruyi Ji, Jingtao Xia, Yingfei Xiong +1
The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE solvers are still limited.…