Welcome to the course homepage. Your instructor is Uday Khedker. We will meet in SIC 301 (KR Building) every Monday and Thursday from 14:00 to 15:25. A brief motivation behind the course and proposed schedule is available. We will use the book Data Flow Analysis: Theory and Practice as our text book. The course TAs is Pritam Gharat.
Announcements
(20 July 2012) All subsequent announcements will be made on the moodle page of the course.
(12 July 2012) We will have three quizzes through the semester. We will also have some programming assignment or reading assignment. I propose to use the following evaluation scheme for the course:
Assessment
|
Weightage |
Mid-semester Examination |
30% |
End Semester Examination |
40% |
Three Quizzes |
15% |
Reading or Programming assignment |
15% |
Total |
100% |
I am open to some
fine tuning of this
scheme based on the opinion of the class. We can decide that during the
course.
The course begins with why and what of program analysis by presenting examples of optimizations and motivating the need for systematic analysis. As the course progresses, the following running theme emerges: Program analysis requires building the right abstractions. Here by abstractions we mean both an abstract view of the program being analyzed and a systematic analysis technique to build such a view. The course shows this by introducing a series of analyses from simple analyses to more general and advanced analyses. Each analysis is chosen with a specific goal in mind. As a new analysis is introduced, it: