11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.PL2022
Automating Thinning Theorem: Synthesizing Efficient Dynamic Programming Algorithms
Ruyi Ji, Tianran Zhu, Yingfei Xiong +1
Dynamic programming is an important optimization technique, but designing efficient dynamic programming algorithms can be difficult for even professional programmers. Thinning, a t…
cs.SE2021★ 11 cited
A Syntax-Guided Edit Decoder for Neural Program Repair
Qihao Zhu, Zeyu Sun, Yuan-an Xiao +4
Automated Program Repair (APR) helps improve the efficiency of software development and maintenance. Recent APR techniques use deep learning, particularly the encoder-decoder archi…