| Automating string processing in spreadsheets using input-output examples S Gulwani ACM Sigplan Notices 46 (1), 317-330, 2011 | 1144 | 2011 |
| Program synthesis S Gulwani, P Oleksandr, R Singh Foundations and Trends® in Programming Languages 4, 1-119, 2017 | 639 | 2017 |
| Oracle-guided component-based program synthesis S Jha, S Gulwani, SA Seshia, A Tiwari Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 633 | 2010 |
| Automated feedback generation for introductory programming assignments R Singh, S Gulwani, A Solar-Lezama Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 587 | 2013 |
| Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011 | 430 | 2011 |
| Speed: precise and efficient static estimation of program computational complexity S Gulwani, KK Mehra, T Chilimbi ACM Sigplan Notices 44 (1), 127-139, 2009 | 419 | 2009 |
| Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012 | 394 | 2012 |
| Flashmeta: A framework for inductive program synthesis O Polozov, S Gulwani Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 384 | 2015 |
| From program verification to program synthesis S Srivastava, S Gulwani, JS Foster Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 376 | 2010 |
| Dimensions in program synthesis S Gulwani Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010 | 362 | 2010 |
| Flashextract: A framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 302 | 2014 |
| Learning syntactic program transformations from examples R Rolim, G Soares, L D'Antoni, O Polozov, S Gulwani, R Gheyi, R Suzuki, ... 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 278 | 2017 |
| Program analysis as constraint solving S Gulwani, S Srivastava, R Venkatesan Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 271 | 2008 |
| Inductive programming meets the real world S Gulwani, J Hernández-Orallo, E Kitzelmann, SH Muggleton, U Schmid, ... Communications of the ACM 58 (11), 90-99, 2015 | 219 | 2015 |
| Spreadsheet table transformations from examples WR Harris, S Gulwani ACM SIGPLAN Notices 46 (6), 317-328, 2011 | 217 | 2011 |
| Lifting abstract interpreters to quantified logical domains S Gulwani, B McCloskey, A Tiwari Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 202 | 2008 |
| Recursive program synthesis A Albarghouthi, S Gulwani, Z Kincaid Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 201 | 2013 |
| Automated clustering and program repair for introductory programming assignments S Gulwani, I Radiček, F Zuleger ACM SIGPLAN Notices 53 (4), 465-480, 2018 | 200 | 2018 |
| A machine learning framework for programming by example A Menon, O Tamuz, S Gulwani, B Lampson, A Kalai International Conference on Machine Learning, 187-195, 2013 | 190 | 2013 |
| Neural-guided deductive search for real-time program synthesis from examples A Kalyan, A Mohta, O Polozov, D Batra, P Jain, S Gulwani arXiv preprint arXiv:1804.01186, 2018 | 183 | 2018 |
Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft在 csl.sri.com 的电子邮件经过验证
