159 citations · 646 across the 48 of their papers we have counts for
3 papers · 1 filter
Using Program Synthesis for Social Recommendations
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
This paper presents a new approach to select events of interest to a user in a social media setting where events are generated by the activities of the user's friends through their…
Inferring SQL Queries Using Program Synthesis
Alvin Cheung, Armando Solar-Lezama, Samuel Madden
Developing high-performance applications that interact with databases is a difficult task, as developers need to understand both the details of the language in which their applicat…
Automated Feedback Generation for Introductory Programming Assignments
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
We present a new method for automatically providing feedback for introductory programming problems. In order to use this method, we need a reference implementation of the assignmen…