Rishabh Singh

Syntax-guided synthesis

Rajeev Alur, Rastislav Bodík, Garvit Juniwal et al. · 2013 · 523 citations

Computing, Computer Science, Algorithms +11

Automated feedback generation for introductory programming assignments

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama · 2013 · 385 citations

Education, Computer Science, Computer-assisted Instruction +14

Learn&Fuzz: Machine learning for input fuzzing

Patrice Godefroid, Hila Peleg, Rishabh Singh · 2017 · 319 citations

Computing, Computer Science, Cybersecurity +12

Program Synthesis

Sumit Gulwani, Oleksandr Polozov, Rishabh Singh · Foundations and Trends® in Programming Languages · 2017 · 299 citations

Computing, Computer Science, Algorithms +7

Spreadsheet data manipulation using examples

Sumit Gulwani, William R. Harris, Rishabh Singh · Communications of the ACM · 2012 · 297 citations

Computing, Computer Science, Information Systems +17