Sumit Gulwani
TitleCited byYear
Automating string processing in spreadsheets using input-output examples
S Gulwani
ACM Sigplan Notices 46 (1), 317-330, 2011
4512011
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
3392010
Speed: precise and efficient static estimation of program computational complexity
S Gulwani, KK Mehra, T Chilimbi
ACM Sigplan Notices 44 (1), 127-139, 2009
3162009
Automated feedback generation for introductory programming assignments
R Singh, S Gulwani, A Solar-Lezama
Acm Sigplan Notices 48 (6), 15-26, 2013
2792013
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
PLDI 11, 62-73, 2011
2622011
From program verification to program synthesis
S Srivastava, S Gulwani, JS Foster
ACM Sigplan Notices 45 (1), 313-326, 2010
2422010
Dimensions in program synthesis
S Gulwani
Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010
2012010
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
ACM SIGPLAN Notices 43 (6), 281-292, 2008
1942008
Spreadsheet data manipulation using examples
S Gulwani, WR Harris, R Singh
Communications of the ACM 55 (8), 97-105, 2012
1852012
Lifting abstract interpreters to quantified logical domains
S Gulwani, B McCloskey, A Tiwari
ACM SIGPLAN Notices 43 (1), 235-246, 2008
1762008
Inferring locks for atomic sections.
S Cherem, TM Chilimbi, S Gulwani
PLDI 8, 304-315, 2008
1462008
Spreadsheet table transformations from examples
WR Harris, S Gulwani
ACM SIGPLAN Notices 46 (6), 317-328, 2011
1452011
Constraint-based approach for analysis of hybrid systems
S Gulwani, A Tiwari
International Conference on Computer Aided Verification, 190-203, 2008
1452008
FlashExtract: a framework for data extraction by examples
V Le, S Gulwani
ACM SIGPLAN Notices 49 (6), 542-553, 2014
1412014
Program verification using templates over predicate abstraction
S Srivastava, S Gulwani
ACM Sigplan Notices 44 (6), 223-234, 2009
1382009
Control-flow refinement and progress invariants for bound analysis
S Gulwani, S Jain, E Koskinen
ACM Sigplan Notices 44 (6), 375-385, 2009
1272009
Proving programs robust
S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
1212011
FlashMeta: a framework for inductive program synthesis
O Polozov, S Gulwani
ACM SIGPLAN Notices 50 (10), 107-126, 2015
1182015
Synthesizing geometry constructions
S Gulwani, VA Korthikanti, A Tiwari
ACM SIGPLAN Notices 46 (6), 50-61, 2011
1132011
The reachability-bound problem
S Gulwani, F Zuleger
ACM Sigplan Notices 45 (6), 292-304, 2010
1122010
The system can't perform the operation now. Try again later.
Articles 1–20