Upload
Featured Recent Articles Topics Login Upload

Search Results for 'Gulwani-Data'

Gulwani-Data published presentations and documents on DocSlides.

Sumit Gulwani Programming by Examples
Sumit Gulwani Programming by Examples
by jane-oiler
Applications, Algorithms & Ambiguity Resoluti...
TexPoint
TexPoint
by yoshiko-marsland
fonts used in EMF. . Read the . TexPoint. manua...
Program Synthesis for
Program Synthesis for
by myesha-ticknor
Automating Education. Sumit Gulwani. (sumitg@micr...
TexPoint
TexPoint
by test
fonts used in EMF. . Read the . TexPoint. manua...
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...
Problem Generation
Problem Generation
by myesha-ticknor
& Feedback Generation. Invited . Talk . @ . A...
Logical Abstract Interpretation
Logical Abstract Interpretation
by karlyn-bohler
Sumit Gulwani Microsoft Research, Redmond Uninterp...