Rishabh Singh

Rishabh Singh

Google Inc. - Kaliforniya / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4378952
person_outline Rishabh Singh's MOST POPULAR ARTICLES
1-) Syntax-guided synthesisR Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...2013 Formal Methods in Computer-Aided Design, 1-8, 20137512013
2-) Program synthesisS Gulwani, O Polozov, R SinghFoundations and Trends® in Programming Languages 4 (1-2), 1-119, 20175942017
3-) Automated feedback generation for introductory programming assignmentsR Singh, S Gulwani, A Solar-LezamaProceedings of the 34th SIGPLAN conference on Programming Language Design …, 20135892013
4-) Learn&fuzz: Machine learning for input fuzzingP Godefroid, H Peleg, R Singh2017 32nd IEEE/ACM International Conference on Automated Software …, 20174792017
5-) Robustfill: Neural program learning under noisy i/oJ Devlin, J Uesato, S Bhupatiraju, R Singh, A Mohamed, P KohliInternational conference on machine learning, 990-998, 20174552017