18 citations · 30 across the 6 of their papers we have counts for
11 papers
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.…
OCoR: An Overlapping-Aware Code Retriever
Qihao Zhu, Zeyu Sun, Xiran Liang +2
Code retrieval helps developers reuse the code snippet in the open-source projects. Given a natural language description, code retrieval aims to search for the most relevant code a…
Interactive Patch Filtering as Debugging Aid
Jingjing Liang, Ruyi Ji, Jiajun Jiang +3
It is widely recognized that program repair tools need to have a high precision to be useful, i.e., the generated patches need to have a high probability to be correct. However, it…
NLocalSAT: Boosting Local Search with Solution Prediction
Wenjie Zhang, Zeyu Sun, Qihao Zhu +4
The Boolean satisfiability problem (SAT) is a famous NP-complete problem in computer science. An effective way for solving a satisfiable SAT problem is the stochastic local search…
TreeGen: A Tree-Based Transformer Architecture for Code Generation
Zeyu Sun, Qihao Zhu, Yingfei Xiong +3
A code generation system generates programming language code based on an input natural language description. State-of-the-art approaches rely on neural networks for code generation…
A Grammar-Based Structural CNN Decoder for Code Generation
Zeyu Sun, Qihao Zhu, Lili Mou +3
Code generation maps a program description to executable source code in a programming language. Existing approaches mainly rely on a recurrent neural network (RNN) as the decoder.…