Clark School Home UMD
ECE

Events Calendar

Event Information

CS Dept Distinguished Colloquium: Sumit Gulwani, Microsoft Research
Monday, September 9, 2013
4:00 p.m.
1115 Computer Science Instructional Center
For More Information:
adelaide@cs.umd.edu
http://www.cs.umd.edu/colloquium

Refreshment will be served before the talk at 3:30pm, CSIC Lobby

End-User Programming and Intelligent Tutoring Systems

Sumit Gulwani
Microsoft Research

Abstract
Millions of end users today have access to programmable environments such as spreadsheets and smartphones, but lack the programming expertise to write even small scripts. These users can effectively communicate their intent using examples and natural language. Our methodology involves designing a domain-specific language (DSL), developing a synthesis algorithm for learning programs in the DSL that match the user's (often under-specified) intent, and using machine learning to rank these programs. In this talk, I will demonstrate this methodology for various domains including spreadsheet macros, database queries, and smartphone scripts.

In the second half of the talk, I will present surprising applications of this synthesis methodology in the area of intelligent tutoring systems including problem generation, solution generation, and feedback generation. I will demonstrate these applications for various domains including arithmetic, algebra, geometry, logic, automata theory, and introductory programming. The underlying synthesizers leverage search techniques from various communities including use of SAT/SMT solvers (formal methods community), version space algebras (machine learning community), and A*-style goal-directed heuristics (AI community).

Biography
Sumit Gulwani is a researcher at Microsoft Research, Redmond. His research interests are in the cross-disciplinary application areas of automating end-user programming (for spreadsheets, smartphones, robots), and in building intelligent tutoring systems (for K-14 math/programming/science/language subjects). He has expertise in program synthesis (from examples, natural language, logic) and program analysis techniques. Sumit obtained his PhD in Computer Science from UC-Berkeley in 2005, and was awarded the ACM SIGPLAN Outstanding Doctoral Dissertation Award. He obtained his BTech in Computer Science and Engineering from IIT Kanpur in 2000, and was awarded the President's Gold Medal.

This Event is For: Graduate • Undergraduate • Faculty • Post-Docs • Alumni

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

October 2014
SU M TU W TH F SA
1 2 3 4 w
5 6 7 8 9 10 11 w
12 13 14 15 16 17 18 w
19 20 21 22 23 24 25 w
26 27 28 29 30 31 w
Search Events

Events

Events Calendar
Submit Event

News

Newsroom
News Search
News Archives