Sumit Gulwani
Researcher Next ID · RN-039423
Researcher · Computer Science
Redmond, Finland
- Works count
- 351
- Citation count
- 12,871
- H-index
- 63
- i10-index
- 170
Research interests
Publications
Program Synthesis
Foundations and Trends® in Programming Languages · 2017 · https://doi.org/10.1561/2500000010
FlashMeta: a framework for inductive program synthesis
Journal · 2015 · https://doi.org/10.1145/2814270.2814310
Inductive programming meets the real world
Communications of the ACM · 2015 · 10.1145/2736282
FlashExtract
Journal · 2014 · https://doi.org/10.1145/2594291.2594333
Automated feedback generation for introductory programming assignments
Journal · 2013 · https://doi.org/10.1145/2491956.2462195
Recursive Program Synthesis
Lecture notes in computer science · 2013 · 10.1007/978-3-642-39799-8_67
Spreadsheet data manipulation using examples
Communications of the ACM · 2012 · 10.1145/2240236.2240260
Learning semantic string transformations from examples
Proceedings of the VLDB Endowment · 2012 · 10.14778/2212351.2212356
Synthesis of loop-free programs
Journal · 2011 · https://doi.org/10.1145/1993498.1993506
Synthesis of loop-free programs
ACM SIGPLAN Notices · 2011 · https://doi.org/10.1145/1993316.1993506
Automating string processing in spreadsheets using input-output examples
ACM SIGPLAN Notices · 2011 · https://doi.org/10.1145/1925844.1926423
Proving programs robust
· 2011 · 10.1145/2025113.2025131
Automating string processing in spreadsheets using input-output examples
Journal · 2011 · https://doi.org/10.1145/1926385.1926423
Spreadsheet table transformations from examples
ACM SIGPLAN Notices · 2011 · 10.1145/1993316.1993536
Dimensions in program synthesis
Journal · 2010 · https://doi.org/10.1145/1836089.1836091
From program verification to program synthesis
· 2010 · 10.1145/1706299.1706337
Oracle-guided component-based program synthesis
Journal · 2010 · https://doi.org/10.1145/1806799.1806833
SPEED
· 2009 · 10.1145/1480881.1480898
Control-flow refinement and progress invariants for bound analysis
· 2009 · 10.1145/1542476.1542518
Lifting abstract interpreters to quantified logical domains
· 2008 · 10.1145/1328438.1328468
Inferring locks for atomic sections
· 2008 · 10.1145/1375581.1375619
Constraint-Based Approach for Analysis of Hybrid Systems
Lecture notes in computer science · 2008 · 10.1007/978-3-540-70545-1_18
Program analysis as constraint solving
Journal · 2008 · https://doi.org/10.1145/1375581.1375616
Current projects
No projects listed.