Welcome to the course homepage.
Your instructor is Uday
Khedker. We will meet in SIC 301 (KR Building) in slot 8
(every Monday and Thursday from 14:00 to 15:25). A brief motivation behind
the course and a tentative
lecture schedule is available. We will use the book Data Flow
Analysis: Theory and Practice as our text book. We have an
Indian edition too.
Announcements
(20 July 2018). Please visit the moodle page of the course for all further announcements.
(16 July 2018). This offering of the course is primarily for M.Tech. 1 year because I want to teach an advanced course next semester and expect the to course to feed into the MTPs that I offer. I may allow other students (M.Tech. 2, B.Tech.4 and in a very rare case B.Tech. 3) subject to class size not being large.
(16 July 2018). Very soon, all announcements will be made on the moodle page of the course. Please join the moodle page of this course as soon as possible.
(16 July 2018). We will have two 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 |
45% |
Two Quizzes |
10% |
Project /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: