| 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 | 558 | 2013 |
| 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 | 388 | 2013 |
| Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012 | 259 | 2012 |
| Robustfill: Neural program learning under noisy i/o J Devlin, J Uesato, S Bhupatiraju, R Singh, A Mohamed, P Kohli arXiv preprint arXiv:1703.07469, 2017 | 215 | 2017 |
| Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 208 | 2017 |
| Program synthesis S Gulwani, O Polozov, R Singh Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017 | 203 | 2017 |
| Neuro-symbolic program synthesis E Parisotto, A Mohamed, R Singh, L Li, D Zhou, P Kohli arXiv preprint arXiv:1611.01855, 2016 | 198 | 2016 |
| Learning semantic string transformations from examples R Singh, S Gulwani arXiv preprint arXiv:1204.6079, 2012 | 124 | 2012 |
| Synthesizing number transformations from input-output examples R Singh, S Gulwani International Conference on Computer Aided Verification, 634-651, 2012 | 108 | 2012 |
| 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 | 103 | 2016 |
| 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 | 103 | 2015 |
| Programmatically interpretable reinforcement learning A Verma, V Murali, R Singh, P Kohli, S Chaudhuri arXiv preprint arXiv:1804.02477, 2018 | 98 | 2018 |
| Synthesizing data structure manipulations from storyboards R Singh, A Solar-Lezama Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 90 | 2011 |
| Qlose: Program repair with quantitative objectives L D’Antoni, R Samanta, R Singh International Conference on Computer Aided Verification, 383-401, 2016 | 87 | 2016 |
| Blinkfill: Semi-supervised programming by example for syntactic string transformations R Singh Proceedings of the VLDB Endowment 9 (10), 816-827, 2016 | 86 | 2016 |
| 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 | 85 | 2018 |
| Automated correction for syntax errors in programming assignments using recurrent neural networks S Bhatia, R Singh arXiv preprint arXiv:1603.06129, 2016 | 75 | 2016 |
| Predicting a correct program in programming by example R Singh, S Gulwani International Conference on Computer Aided Verification, 398-414, 2015 | 72 | 2015 |
| Natural language to structured query generation via meta-learning PS Huang, C Wang, R Singh, W Yih, X He arXiv preprint arXiv:1803.02400, 2018 | 69 | 2018 |
| Dynamic neural program embedding for program repair K Wang, R Singh, Z Su arXiv preprint arXiv:1711.07163, 2017 | 64 | 2017 |
Sumit GulwaniPartner Research Manager, MicrosoftAdresse e-mail validée de microsoft.com
