Publications
- Rishabh Singh, Sumit Gulwani, and Armando Solar-Lezama. Automated Feedback Generation for Introductory Programming Assignments PLDI 2013 (To Appear)
- Rishabh Singh, Sumit Gulwani. Synthesizing Number Transformations from Input-Output Examples CAV 2012
- Rishabh Singh, Armando Solar-Lezama. SPT: Storyboard Programming Tool CAV 2012
- Rishabh Singh, Sumit Gulwani. Learning Semantic String Transformations from Examples VLDB 2012
- Sumit Gulwani, William Harris, Rishabh Singh. Spreadsheet Data Manipulation using Examples CACM Research Highlight 2012
- Rishabh Singh, Armando Solar-Lezma. Synthesizing Data Structure Manipulations from Data Structure Configurations ESEC/FSE 2011
- Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu. Learning Component Interfaces with May and Must Abstractions CAV 2010
- Andrey Rybalchenko, Rishabh Singh. Subsumer-first: Steering Symbolic Reachability Analysis. SPIN 2009
- Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson. Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions. ICSE 2009
- Rishabh Singh, Joseph Near, Vijay Ganesh, Martin Rinard.AvatarSAT:An Auto-Tuning Boolean SAT Solver. (MIT-CSAIL-TR-2009-039)