Rishabh Singh
Rishabh Singh
Research Scientist, Google Brain
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
4592013
Automated feedback generation for introductory programming assignments
R Singh, S Gulwani, A Solar-Lezama
Proceedings of the 34th SIGPLAN conference on Programming Language Design …, 2013
3362013
Spreadsheet data manipulation using examples
S Gulwani, WR Harris, R Singh
Communications of the ACM 55 (8), 97-105, 2012
2222012
Robustfill: Neural program learning under noisy i/o
J Devlin, J Uesato, S Bhupatiraju, R Singh, A Mohamed, P Kohli
Proceedings of the 34th International Conference on Machine Learning-Volume …, 2017
1472017
Learn&fuzz: Machine learning for input fuzzing
P Godefroid, H Peleg, R Singh
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
1422017
Neuro-symbolic program synthesis
E Parisotto, A Mohamed, R Singh, L Li, D Zhou, P Kohli
arXiv preprint arXiv:1611.01855, 2016
1372016
Program synthesis
S Gulwani, O Polozov, R Singh
Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017
1152017
Learning semantic string transformations from examples
R Singh, S Gulwani
arXiv preprint arXiv:1204.6079, 2012
1082012
Synthesizing number transformations from input-output examples
R Singh, S Gulwani
International Conference on Computer Aided Verification, 634-651, 2012
1012012
OverCode: Visualizing variation in student solutions to programming problems at scale
EL Glassman, J Scott, R Singh, PJ Guo, RC Miller
ACM Transactions on Computer-Human Interaction (TOCHI) 22 (2), 1-35, 2015
902015
Synthesizing data structure manipulations from storyboards
R Singh, A Solar-Lezama
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
842011
Terpret: A probabilistic programming language for program induction
AL Gaunt, M Brockschmidt, R Singh, N Kushman, P Kohli, J Taylor, ...
arXiv preprint arXiv:1608.04428, 2016
822016
Qlose: Program repair with quantitative objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
702016
Blinkfill: Semi-supervised programming by example for syntactic string transformations
R Singh
Proceedings of the VLDB Endowment 9 (10), 816-827, 2016
662016
Automated correction for syntax errors in programming assignments using recurrent neural networks
S Bhatia, R Singh
arXiv preprint arXiv:1603.06129, 2016
592016
Predicting a correct program in programming by example
R Singh, S Gulwani
International Conference on Computer Aided Verification, 398-414, 2015
572015
Transforming Spreadsheet Data Types using Examples
R Singh, S Gulwani
POPL 2016, 2016
492016
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
arXiv preprint arXiv:1804.02477, 2018
482018
User interaction models for disambiguation in programming by example
M Mayer, G Soares, M Grechkin, V Le, M Marron, O Polozov, R Singh, ...
Proceedings of the 28th Annual ACM Symposium on User Interface Software …, 2015
452015
Leveraging grammar and reinforcement learning for neural program synthesis
R Bunel, M Hausknecht, J Devlin, R Singh, P Kohli
arXiv preprint arXiv:1805.04276, 2018
442018
The system can't perform the operation now. Try again later.
Articles 1–20