/
MAPL Keynote June 2017 Sumit Gulwani MAPL Keynote June 2017 Sumit Gulwani

MAPL Keynote June 2017 Sumit Gulwani - PowerPoint Presentation

faustina-dinatale
faustina-dinatale . @faustina-dinatale
Follow
350 views
Uploaded On 2018-10-24

MAPL Keynote June 2017 Sumit Gulwani - PPT Presentation

Programming by Examples PL meets ML Joint work with PROSE team and others 1 Programming by Examples PBE The task of synthesizing a program in an underlying language from examplebased specification ID: 695343

examples program gulwani data program examples data gulwani input constants prefer programming search based output set synthesis programs transformations 2015 number inverse

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "MAPL Keynote June 2017 Sumit Gulwani" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript