| Automating string processing in spreadsheets using input-output examples S Gulwani ACM Sigplan Notices 46 (1), 317-330, 2011 | 863 | 2011 |
| Oracle-guided component-based program synthesis S Jha, S Gulwani, SA Seshia, A Tiwari 2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 215-224, 2010 | 539 | 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 | 471 | 2013 |
| Speed: precise and efficient static estimation of program computational complexity S Gulwani, KK Mehra, T Chilimbi ACM Sigplan Notices 44 (1), 127-139, 2009 | 388 | 2009 |
| Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011 | 375 | 2011 |
| Program synthesis S Gulwani, P Oleksandr, R Singh Foundations and Trends® in Programming Languages 4, 1-119, 2017 | 367 | 2017 |
| 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 | 338 | 2010 |
| Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012 | 316 | 2012 |
| Dimensions in program synthesis S Gulwani Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010 | 308 | 2010 |
| Flashmeta: A framework for inductive program synthesis O Polozov, S Gulwani Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 277 | 2015 |
| Flashextract: A framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 244 | 2014 |
| Program analysis as constraint solving S Gulwani, S Srivastava, R Venkatesan Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 240 | 2008 |
| 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 | 207 | 2017 |
| Spreadsheet table transformations from examples WR Harris, S Gulwani ACM SIGPLAN Notices 46 (6), 317-328, 2011 | 195 | 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 | 190 | 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 | 181 | 2015 |
| Inferring locks for atomic sections S Cherem, T Chilimbi, S Gulwani ACM SIGPLAN Notices 43 (6), 304-315, 2008 | 174 | 2008 |
| Control-flow refinement and progress invariants for bound analysis S Gulwani, S Jain, E Koskinen ACM Sigplan Notices 44 (6), 375-385, 2009 | 166 | 2009 |
| Constraint-based approach for analysis of hybrid systems S Gulwani, A Tiwari International Conference on Computer Aided Verification, 190-203, 2008 | 165 | 2008 |
| Program verification using templates over predicate abstraction S Srivastava, S Gulwani Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 156 | 2009 |
Ashish TiwariComputer Scientist, SRI International確認したメール アドレス: csl.sri.com
