PPT-Program Synthesis for

Author : myesha-ticknor | Published Date : 2017-01-24

Automating Education Sumit Gulwani sumitgmicrosoftcom Microsoft Research Redmond Program Synthesis Synthesis of executable code from user intent expressed using

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "Program Synthesis for" is the property of its rightful owner. Permission is granted to download and print the materials on this website 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.

Program Synthesis for: Transcript

Automating Education Sumit Gulwani sumitgmicrosoftcom Microsoft Research Redmond Program Synthesis Synthesis of executable code from user intent expressed using some constraints Enabling Technology is now available . Greta . Yorsh. Eran. . Yahav. Martin . Vechev. IBM Research. { . . ………………. . …… . ………………….. . …………………….. …………………………. }. P1(). Marktoberdorf. Summer School Lectures: Part 3. Sumit Gulwani. sumitg@microsoft.com. Microsoft Research, Redmond. Program Synthesis for. Computer-aided Education. . Students and Teachers. End-Users. CS294: Program Synthesis for Everyone. Ras Bodik . Emina Torlak. Division of Computer Science. University of California, . Berkeley. The name of the course. this CS294 topics course has been listed . Sumit. . Gulwani. (MSR), . Susmit. . Jha. . (UC Berkeley), . Ashish. . Tiwari. (SRI) . and . Ramarathnam. . Venkatesan. (MSR). Susmit. . Jha. 1. From Verification to Synthesis. Automated synthesis . Part II: Synthesizer Algorithms. Rastislav Bodik. University of California, Berkeley. Outline of Part II. Synthesizer algorithms. Future directions:. concurrency. domain-specific synthesis (dynamic programming). Sumit Gulwani. sumitg@microsoft.com. Microsoft Research, Redmond. August 2013. Marktoberdorf. Summer School Lectures: Part 1. 1. Synthesis. Goal: . Synthesize a computational concept in some . underlying language. Armando Solar-Lezama. Synthesis: 1980s view. Complete Formal Specification. Synthesis: modern view. . . Space of programs. . Reference Implementation. Test Harnesses. Input/Output. Examples. . Are we there yet? . Armando Solar-Lezama. Synthesis: 1980s view. Complete Formal Specification. Synthesis: modern view. . . Space of programs. . Safety Properties. Test Harnesses. Input/Output. Sumit Gulwani. sumitg@microsoft.com. Microsoft Research, Redmond. August 2013. Marktoberdorf. Summer School Lectures: Part 1. 1. Synthesis. Goal: . Synthesize a computational concept in some . underlying language. Discuss with your group.. Be prepared to share your answers. . The Hardest Part. The synthesis section is the hardest part of the exam. It is worth . 47. % . of the entire exam!. 17 % -- multiple choice. Lecture 01 - Introduction. Eran. . Yahav. . 1. Goal. Understand . program . analys. is & synthesis . apply . these techniques in your . research . understand jargon/papers. conduct research in this area. Strategies for organizationClimactic orderarranges the most important/persuasive evidence last since this is what is remembered Problem/solutionestablishes the problem in the introduction then offers June 2012Evidence Brief Effect of Geriatricians on Outcomes of Inpatient and Outpatient CarePrepared forDepartment of Veterans A31airsVeterans Health AdministrationQuality Enhancement Research Initi Lecture 1, Part (a). Sriram Rajamani. Course logistics. 2 lectures per week: Monday & Wednesday 3:30-5:00PM. Course instructors: . Chiranjib Bhattacharya, Deepak D’Souza, Sriram Rajamani.

Download Document

Here is the link to download the presentation.
"Program Synthesis for"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.