| 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 | 810 | 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 | 528 | 2013 |
| Program synthesis S Gulwani, O Polozov, R Singh Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017 | 498 | 2017 |
| Robustfill: Neural program learning under noisy i/o J Devlin, J Uesato, S Bhupatiraju, R Singh, A Mohamed, P Kohli International conference on machine learning, 990-998, 2017 | 382 | 2017 |
| Learn&fuzz: Machine learning for input fuzzing P Godefroid, H Peleg, R Singh 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 362 | 2017 |
| Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012 | 353 | 2012 |
| Neuro-symbolic program synthesis E Parisotto, A Mohamed, R Singh, L Li, D Zhou, P Kohli arXiv preprint arXiv:1611.01855, 2016 | 338 | 2016 |
| Programmatically interpretable reinforcement learning A Verma, V Murali, R Singh, P Kohli, S Chaudhuri International Conference on Machine Learning, 5045-5054, 2018 | 301 | 2018 |
| 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 | 195 | 2018 |
| Global relational models of source code VJ Hellendoorn, P Maniatis, R Singh, C Sutton, D Bieber | 189 | 2020 |
| 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 | 172 | 2015 |
| Learning semantic string transformations from examples R Singh, S Gulwani arXiv preprint arXiv:1204.6079, 2012 | 155 | 2012 |
| Synthesizing number transformations from input-output examples R Singh, S Gulwani 24th International Conference on Computer Aided Verification (CAV 2012), 2012 | 134 | 2012 |
| Qlose: Program Repair with Quantitative Objectives L D’Antoni, R Samanta, R Singh Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 130 | 2016 |
| Dynamic neural program embedding for program repair K Wang, R Singh, Z Su arXiv preprint arXiv:1711.07163, 2017 | 128 | 2017 |
| Automated correction for syntax errors in programming assignments using recurrent neural networks S Bhatia, R Singh arXiv preprint arXiv:1603.06129, 2016 | 125 | 2016 |
| Neural program repair by jointly learning to localize and repair M Vasic, A Kanade, P Maniatis, D Bieber, R Singh arXiv preprint arXiv:1904.01720, 2019 | 121 | 2019 |
| 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 | 120 | 2018 |
| 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 | 119 | 2016 |
| Blinkfill: Semi-supervised programming by example for syntactic string transformations R Singh Proceedings of the VLDB Endowment 9 (10), 816-827, 2016 | 116 | 2016 |
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
