107 citations · 1k across the 45 of their papers we have counts for
Showing 2016 · cs.PLShow all
3 papers · 2 filters
cs.PL2016
NoFAQ: Synthesizing Command Repairs from Examples
Loris D'Antoni, Rishabh Singh, Michael Vaughn
Command-line tools are confusing and hard to use for novice programmers due to their cryptic error messages and lack of documentation. Novice users often resort to online help-foru…
cs.PL2016★ 69 cited
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks
Sahil Bhatia, Rishabh Singh
We present a method for automatically generating repair feedback for syntax errors for introductory programming problems. Syntax errors constitute one of the largest classes of err…
cs.PL2016★ 17 cited
Results and Analysis of SyGuS-Comp'15
Rajeev Alur, Dana Fisman, Rishabh Singh +1
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula in a background the…