Sumit Gulwani Primary Affiliation: Senior Researcher @ Microsoft Research (Redmond Lab) Other Affiliations: Adjunct Faculty @ IIT Kanpur                                Affiliate Faculty @ Univ. of Washington Address: Microsoft Corporation, One Microsoft Way, Redmond, WA, 98052 Email: sumitg at microsoft dot com Phone: (425) 706-7709 Fax: (425) 936 7329 (attn: sumitg)

[ HomePage | Biography | Resume | Publications | Projects | Professional Activities | Invited Talks | Pictures]
My current research interests are in the cross-disciplinary application areas of automating end-user programming (for a variety of systems such as spreadsheets, databases, smartphones, robots), and in building intelligent tutoring systems (for K-14 math/programming/science/language subjects). I have expertise in automated program synthesis techniques and logic based program analysis techniques. I am also interested in machine learning, natural language processing, and human-computer interaction techniques. I obtained my Phd in Computer Science from UC-Berkeley in 2005, and my undergraduate degree in Computer Science and Engineering from IIT Kanpur in 2000.

I mentor several undergraduate and graduate students. If you are looking for disruptive project ideas related to intelligent tutoring systems or automating end-user programming (and are excited about the potential to positively impacting lives of billions of people on the planet!), please send me email.

NEW: Our Programming by Example work (POPL 2011), also recognized as CACM Research Highlights (CACM 2012), ships as part of the Flash Fill feature in Excel 2013. Here's a small video illustrating this feature. Here's another small video illustrating potential extensions.

NEW: Here's a research summary article and a video presentation on using formal methods and program synthesis technology for building Intelligent Tutoring Systems for various subject domains.

NEW: Our Programming by Natural Language work for synthesizing smartphone scripts got accepted to MobiSys 2013.

Media

• Flash Fill (Excel feature in Office 2013)
• Flash Fill Gives Excel a Smart Charge
• Computers will raise the IQ of the World
• Programming for Dummies
• Computer Programming Itself
• Excel programming for nonprogrammers

Distraction: Invited Talk on Biological Synthesis (ppt) given at RiSE research group meeting. A recommended read for PL researchers wanting to be first-time parents.