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

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