Technion - Israel Institute of Technology  
236607 - Advanced Course in Program Analysis and Synthesis 
  Winter 2011-2012 EnglishRussianHebrewArabic  
Announcements
General Information
Staff
Assignments
Grades
Frequently Asked Questions
Literature
Find a Partner
Automatic Update
 General Information
In the first part of this course you will learn how to extract high-level information from (lower level) programs without running them. You will learn to statically (at compile time) reason about properties of programs. For example, how to use automatic program analysis techniques for showing that a web-site is not exposed to certain security vulnerabilities.In the second part of the course, you will learn how to synthesize programs from (higher-level) partial programs and specifications.
Yaniv Hamo, Yaniv Hamo (tm)