Sumit Gulwani

Cited by

	All	Since 2015
Citations	10366	7163
h-index	57	47
i10-index	132	112

1400

700

350

1050

200520062007200820092010201120122013201420152016201720182019202037 25 57 79 202 309 370 513 661 851 1004 1061 1383 1224 1294 1176

Co-authors

Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Oleksandr PolozovMicrosoft ResearchVerified email at microsoft.com
Saurabh SrivastavaSynthetic Minds; previously: 20n, UC Berkeley, UMDVerified email at synthetic-minds.com
George NeculaProfessor, University of California, BerkeleyVerified email at cs.berkeley.edu
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Benjamin ZornMicrosoft Research, RedmondVerified email at acm.org
Mark MarronMicrosoft ResearchVerified email at microsoft.com
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at cs.tufts.edu
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
William HarrisResearch Scientist, Galois Inc.Verified email at galois.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Vu LeMicrosoftVerified email at microsoft.com
Zoran PopovicProfessor of Computer Science, Director Center for Game Science, University of WashingtonVerified email at cs.washington.edu
Prateek JainMicrosoft Research IndiaVerified email at microsoft.com
Gustavo SoaresResearcher, MicrosoftVerified email at microsoft.com
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Aditya Krishna MenonResearch Scientist, GoogleVerified email at google.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu

Sumit Gulwani

Partner Research Manager, Microsoft

Verified email at microsoft.com - Homepage

Program Synthesis Artificial Intelligence Program Verification End User Programming Computer-aided Education


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automating string processing in spreadsheets using input-output examples S Gulwani ACM Sigplan Notices 46 (1), 317-330, 2011	625	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	418	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	362	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	355	2009
Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011	316	2011
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	290	2010
Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012	251	2012
Dimensions in program synthesis S Gulwani Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010	251	2010
Program analysis as constraint solving S Gulwani, S Srivastava, R Venkatesan Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	212	2008
FlashExtract: a framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014	196	2014
FlashMeta: a framework for inductive program synthesis O Polozov, S Gulwani Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015	184	2015
Program synthesis S Gulwani, O Polozov, R Singh Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017	181	2017
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	181	2008
Spreadsheet table transformations from examples WR Harris, S Gulwani ACM SIGPLAN Notices 46 (6), 317-328, 2011	171	2011
Inferring locks for atomic sections S Cherem, T Chilimbi, S Gulwani ACM SIGPLAN Notices 43 (6), 304-315, 2008	155	2008
Constraint-based approach for analysis of hybrid systems S Gulwani, A Tiwari International Conference on Computer Aided Verification, 190-203, 2008	154	2008
Program verification using templates over predicate abstraction S Srivastava, S Gulwani Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009	147	2009
Control-flow refinement and progress invariants for bound analysis S Gulwani, S Jain, E Koskinen ACM Sigplan Notices 44 (6), 375-385, 2009	140	2009
Proving programs robust S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	134	2011
Synthesizing geometry constructions S Gulwani, VA Korthikanti, A Tiwari ACM SIGPLAN Notices 46 (6), 50-61, 2011	130	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors