关注
Rishabh Singh
Rishabh Singh
Research Scientist, Google Brain
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
9562013
Program synthesis
S Gulwani, O Polozov, R Singh
Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017
6392017
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
6012013
Learn&fuzz: Machine learning for input fuzzing
P Godefroid, H Peleg, R Singh
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
4522017
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
4392017
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
International Conference on Machine Learning, 5045-5054, 2018
4112018
Spreadsheet data manipulation using examples
S Gulwani, WR Harris, R Singh
Communications of the ACM 55 (8), 97-105, 2012
3942012
Neuro-symbolic program synthesis
E Parisotto, A Mohamed, R Singh, L Li, D Zhou, P Kohli
arXiv preprint arXiv:1611.01855, 2016
3822016
Global relational models of source code
VJ Hellendoorn, C Sutton, R Singh, P Maniatis, D Bieber
International conference on learning representations, 2019
2532019
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
2322018
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
2102015
Learning semantic string transformations from examples
R Singh, S Gulwani
arXiv preprint arXiv:1204.6079, 2012
1672012
Dynamic neural program embedding for program repair
K Wang, R Singh, Z Su
arXiv preprint arXiv:1711.07163, 2017
1612017
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
1512019
Automated correction for syntax errors in programming assignments using recurrent neural networks
S Bhatia, R Singh
arXiv preprint arXiv:1603.06129, 2016
1442016
Qlose: Program Repair with Quantitative Objectives
L D’Antoni, R Samanta, R Singh
International Conference on Computer Aided Verification, 383-401, 2016
1432016
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
1362018
Synthesizing number transformations from input-output examples
R Singh, S Gulwani
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1352012
Not all bytes are equal: Neural byte sieve for fuzzing
M Rajpal, W Blum, R Singh
arXiv preprint arXiv:1711.04596, 2017
1342017
Blinkfill: Semi-supervised programming by example for syntactic string transformations
R Singh
Proceedings of the VLDB Endowment 9 (10), 816-827, 2016
1342016
系统目前无法执行此操作,请稍后再试。
文章 1–20