PPT-Program analysis & Synthesis

Author : bobradio | Published Date : 2020-08-26

Lecture 01 Introduction Eran Yahav 1 Goal Understand program analys is amp synthesis apply these techniques in your research understand jargonpapers conduct

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "Program analysis & Synthesis" 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 analysis & Synthesis: Transcript

Lecture 01 Introduction Eran Yahav 1 Goal Understand program analys is amp synthesis apply these techniques in your research understand jargonpapers conduct research in this area. Origin, Definition, Pursuit, Dictionary-Learning and Beyond. Michael Elad. The Computer Science Department. The Technion – Israel Institute of technology. Haifa 32000, Israel. . Mathematics & Image Analysis (MIA) 2012 Workshop – Paris . . Parts 1-4 – Data Extraction, Quality Assessment, Synthesising Across Studies, . Completing the Analysis. Workshop: . Framework Synthesis, Meta-Ethnography and Realist Synthesis . Shared Topic: . Origin, Definition, and Pursuit. Michael Elad. The Computer Science Department. The Technion – Israel Institute of technology. Haifa 32000, Israel. . *. *Joint . work with . Ron Rubinstein . Automating Education. Sumit Gulwani. (sumitg@microsoft.com). Microsoft Research, Redmond. Program Synthesis = Synthesis of executable code from user intent expressed using some constraints.. Enabling Technology is now available . Kelly Morehead. Comp I. SUNY New . Paltz. Summary. Expository; restates information. Often involves paraphrasing information. Important for creating context by providing background information. However, don’t let summary dominate your writing. Use it as a platform, not a crutch. 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. 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. Kelly Morehead. Comp I. SUNY New . Paltz. Summary. Expository; restates information. Often involves paraphrasing information. Important for creating context by providing background information. However, don’t let summary dominate your writing. Use it as a platform, not a crutch. University . of Edinburgh – . Scotland. Remi. . Gribonval. ,. INRIA, . Rennes – . France. The Analysis . Cosparse. Model . for Signals and Images. Michael . Elad. , . Technion. ,. Haifa – . Israel. Lecture 02 – Structural Operational Semantics (SOS). Eran. . Yahav. . 1. Previously…. static analysis. over-approximation of program behavior . abstract interpretation . abstraction, transformers, fixed-point computation. 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. . Parts 1-4 – Data Extraction, Quality Assessment, Synthesising Across Studies, . Completing the Analysis. Workshop: . Framework Synthesis, Meta-Ethnography and Realist Synthesis . Shared Topic: . Lecture 08(c) – Predicate Abstraction and SLAM . Eran. . Yahav. . Previously . Typestate. Verification. 2. Today. Predicate Abstraction (via SLAM). Acks. Slides cannibalized from . Ball&Rajamani. 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 analysis & Synthesis"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.