Search Results for 'gulwani data'

gulwani data published presentations and documents on DocSlides.

MAPL Keynote June 2017 Sumit Gulwani

by faustina-dinatale

Programming by . Examples:. PL meets ML. Joint wo...

Alex Polozov Sumit Gulwani

by alexa-scheidler

Programming by Examples. PLDI Tutorial. June 2016...

Sumit Gulwani Spreadsheet

by test

Programming using Examples. Keynote at SEMS. July...

Formal Methods

by briana-ranney

in. Invited Talk @ . CBSoft. . Sep 2015. Sumit G...

Programming by Examples

by lois-ondreau

Marktoberdorf Lectures. August 2015. Sumit Gulwan...

Repetitive Tasks

by myesha-ticknor

Invited Talk @ POPL 2015. Sumit Gulwani. Automati...

Formal Methods in Invited Talk @

by phoebe-click

CBSoft. . Sep 2015. Sumit Gulwani. Data Wranglin...