CS618 :  Program Analysis  2012-2013


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

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.

Motivation and Philosophy

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:

Although the analyses chosesn are driven by a practical needs, the twin goals behind choosing specific analyses are:


Back to the Main Page