3 papers
cs.PL2017
Interactive Program Synthesis
Vu Le, Daniel Perelman, Oleksandr Polozov +3
Program synthesis from incomplete specifications (e.g. input-output examples) has gained popularity and found real-world applications, primarily due to its ease-of-use. Since this…
cs.SE2016
Semi-Supervised Verified Feedback Generation
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade +1
Students have enthusiastically taken to online programming lessons and contests. Unfortunately, they tend to struggle due to lack of personalized feedback when they make mistakes.…
cs.AI2012
Textual Features for Programming by Example
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani +2
In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions. Performing a nai…