Sumit Gulwani
Microsoft (United States)(US)Microsoft (Finland)(FI)
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Formal Methods in Verification, Logic, programming, and type systems, Teaching and Learning Programming
Most-Cited Works
- → Automating string processing in spreadsheets using input-output examples(2011)583 cited
- → Oracle-guided component-based program synthesis(2010)472 cited
- → Automated feedback generation for introductory programming assignments(2013)380 cited
- → Program Synthesis(2017)293 cited
- → Spreadsheet data manipulation using examples(2012)292 cited
- → SPEED(2009)268 cited
- → From program verification to program synthesis(2010)264 cited