Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Gulwani'

Gulwani published presentations and documents on DocSlides.

MAPL Keynote June 2017 Sumit Gulwani
MAPL Keynote June 2017 Sumit Gulwani
by faustina-dinatale
Programming by . Examples:. PL meets ML. Joint wo...
Alex Polozov Sumit Gulwani
Alex Polozov Sumit Gulwani
by alexa-scheidler
Programming by Examples. PLDI Tutorial. June 2016...
Sumit Gulwani Programming by Examples
Sumit Gulwani Programming by Examples
by jane-oiler
Applications, Algorithms & Ambiguity Resoluti...
Sumit Gulwani Spreadsheet
Sumit Gulwani Spreadsheet
by test
Programming using Examples. Keynote at SEMS. July...
Recursive Program Synthesis Aws Albarghouthi Sumit Gulwani and Zachary Kincaid University of Toronto Microsoft Research Abstract
Recursive Program Synthesis Aws Albarghouthi Sumit Gulwani and Zachary Kincaid University of Toronto Microsoft Research Abstract
by jane-oiler
Inputoutput examples are a simple and accessible ...
Automated Feedback Generation for Introductory Program
Automated Feedback Generation for Introductory Program
by liane-varnes
mitedu Sumit Gulwani Microsoft Research Redmond WA...
Logical Abstract Interpretation
Logical Abstract Interpretation
by karlyn-bohler
Sumit Gulwani Microsoft Research, Redmond Uninterp...
Repetitive Tasks
Repetitive Tasks
by myesha-ticknor
Invited Talk @ POPL 2015. Sumit Gulwani. Automati...
TexPoint
TexPoint
by test
fonts used in EMF. . Read the . TexPoint. manua...
Problem Generation
Problem Generation
by myesha-ticknor
& Feedback Generation. Invited . Talk . @ . A...
Formal Methods
Formal Methods
by briana-ranney
in. Invited Talk @ . CBSoft. . Sep 2015. Sumit G...
Program Synthesis for
Program Synthesis for
by myesha-ticknor
Automating Education. Sumit Gulwani. (sumitg@micr...
Programming by Examples
Programming by Examples
by lois-ondreau
Marktoberdorf Lectures. August 2015. Sumit Gulwan...
TexPoint
TexPoint
by yoshiko-marsland
fonts used in EMF. . Read the . TexPoint. manua...
Formal Methods in Invited Talk @
Formal Methods in Invited Talk @
by phoebe-click
CBSoft. . Sep 2015. Sumit Gulwani. Data Wranglin...