BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations
Rishabh Singh
VLDB 2016
Transforming Spreadsheet Data Types using Examples
Rishabh Singh, Sumit Gulwani
POPL 2016
Qlose: Program Repair with Quantitative Objectives
Loris D’Antoni, Roopsha Samanta, Rishabh Singh
CAV 2016
Understanding Conversational Programmers: A Perspective from the Software Industry
Parmit K. Chilana, Rishabh Singh, Philip J. Guo
CHI 2016
User Interaction Models for Disambiguation in Programming by Example
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
UIST 2015
Predicting a Correct Program in Programming by Example
Rishabh Singh, Sumit Gulwani
CAV 2015
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
Elena Glassman, Jeremy Scott, Rishabh Singh, Philip Guo, and Robert Miller
TOCHI 2015 (Presented at CHI 2015)
Accessible Programming using Program Synthesis
Rishabh Singh
PhD Thesis, MIT CSAIL 2014
Feature Engineering for Clustering Student Solutions
Elena Glassman, Rishabh Singh, Robert Miller
Learning@Scale 2014 (WIP)
Synthesis of Sketches using Models
Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama
VMCAI 2014
Syntax-Guided Synthesis
Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo Martin, Mukund Raghothaman, Sanjit Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
FMCAD 2013 (Invited Paper)
Automated Feedback Generation for Introductory Programming Assignments
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
PLDI 2013
Learning Semantic String Transformations from Examples
Rishabh Singh, Sumit Gulwani
VLDB 2012
Synthesizing Number Transformations from Input-Output Examples
Rishabh Singh, Sumit Gulwani
CAV 2012
SPT: Storyboard Programming Tool
Rishabh Singh, Armando Solar-Lezama
CAV 2012 (Tool Paper)
Spreadsheet Data Manipulation using Examples
Sumit Gulwani, William Harris, Rishabh Singh
Communications of the ACM Research Highlight, August 2012
Technical Perspective by Martin Rinard
Synthesizing Data Structure Manipulations from Data Structure Configurations
Rishabh Singh, Armando Solar-Lezama
ESEC/FSE 2011
Learning Component Interfaces with May and Must Abstractions
Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu
CAV 2010
Subsumer-first: Steering Symbolic Reachability Analysis
Andrey Rybalchenko, Rishabh Singh
SPIN 2009
Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
ICSE 2009