Sumit Gulwani

Cited by

	All	Since 2016
Citations	11064	6719
h-index	60	44
i10-index	138	112

1600

800

400

1200

2005200620072008200920102011201220132014201520162017201820192020202131 25 57 80 203 319 375 513 657 869 1003 1078 1404 1170 1296 1548 207

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
Vu LeMicrosoftVerified email at microsoft.com
Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at cs.tufts.edu
William HarrisResearch Scientist, Galois Inc.Verified email at galois.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Gustavo SoaresResearcher, MicrosoftVerified email at microsoft.com
Prateek JainMicrosoft Research IndiaVerified email at microsoft.com
Zoran PopovicProfessor of Computer Science, Director Center for Game Science, University of WashingtonVerified email at cs.washington.edu
Amey KarkareFaculty, Department of Computer Science, IIT KanpurVerified email at iitk.ac.in
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

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	669	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	446	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	386	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	359	2009
Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011	335	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	303	2010
Spreadsheet data manipulation using examples S Gulwani, WR Harris, R Singh Communications of the ACM 55 (8), 97-105, 2012	264	2012
Dimensions in program synthesis S Gulwani Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010	262	2010
Program analysis as constraint solving S Gulwani, S Srivastava, R Venkatesan Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	224	2008
Program synthesis S Gulwani, O Polozov, R Singh Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017	219	2017
Flashextract: A framework for data extraction by examples V Le, S Gulwani Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014	204	2014
Flashmeta: A framework for inductive program synthesis O Polozov, S Gulwani Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015	200	2015
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	176	2011
Inferring locks for atomic sections S Cherem, T Chilimbi, S Gulwani ACM SIGPLAN Notices 43 (6), 304-315, 2008	161	2008
Constraint-based approach for analysis of hybrid systems S Gulwani, A Tiwari International Conference on Computer Aided Verification, 190-203, 2008	158	2008
Control-flow refinement and progress invariants for bound analysis S Gulwani, S Jain, E Koskinen ACM Sigplan Notices 44 (6), 375-385, 2009	148	2009
Program verification using templates over predicate abstraction S Srivastava, S Gulwani Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009	148	2009
Proving programs robust S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011	142	2011
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	141	2017

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