Sumit Gulwani
제목
인용
인용
연도
Automating string processing in spreadsheets using input-output examples
S Gulwani
ACM Sigplan Notices 46 (1), 317-330, 2011
6682011
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
4462010
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
3872013
Speed: precise and efficient static estimation of program computational complexity
S Gulwani, KK Mehra, T Chilimbi
ACM Sigplan Notices 44 (1), 127-139, 2009
3592009
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
ACM SIGPLAN Notices 46 (6), 62-73, 2011
3342011
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
3032010
Spreadsheet data manipulation using examples
S Gulwani, WR Harris, R Singh
Communications of the ACM 55 (8), 97-105, 2012
2632012
Dimensions in program synthesis
S Gulwani
Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010
2622010
Program analysis as constraint solving
S Gulwani, S Srivastava, R Venkatesan
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
2242008
Program synthesis
S Gulwani, O Polozov, R Singh
Foundations and Trends® in Programming Languages 4 (1-2), 1-119, 2017
2182017
Flashextract: A framework for data extraction by examples
V Le, S Gulwani
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
2042014
Flashmeta: A framework for inductive program synthesis
O Polozov, S Gulwani
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
2002015
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
1812008
Spreadsheet table transformations from examples
WR Harris, S Gulwani
ACM SIGPLAN Notices 46 (6), 317-328, 2011
1752011
Inferring locks for atomic sections
S Cherem, T Chilimbi, S Gulwani
ACM SIGPLAN Notices 43 (6), 304-315, 2008
1612008
Constraint-based approach for analysis of hybrid systems
S Gulwani, A Tiwari
International Conference on Computer Aided Verification, 190-203, 2008
1582008
Control-flow refinement and progress invariants for bound analysis
S Gulwani, S Jain, E Koskinen
ACM Sigplan Notices 44 (6), 375-385, 2009
1482009
Program verification using templates over predicate abstraction
S Srivastava, S Gulwani
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1482009
Proving programs robust
S Chaudhuri, S Gulwani, R Lublinerman, S Navidpour
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
1422011
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
1412017
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20