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
 Assignments

HW1
Typestate Analysis
HW1.pdf 448 KB
SootSkeleton.zip 12.8 MB
Socket.java 6200 Bytes
Notes:  Submission in PAIRS.
 Electronic Submit
Project
project.pdf 93284 Bytes
apron.tar.bz2 1.9 MB
Due date:  11/3/2012
 Electronic Submit
Yaniv Hamo, Yaniv Hamo (tm)