CS 618 - Program Analysis

Professor: Uday Khedkar

Course Description :

The contents of the course are:

1. Motivation and introduction to program and data flow analysis
2. Bit vector data flow frameworks
3. Mathematical Abstractions in data flow analysis
4. General data flow frameworks
5. Interprocedural data flow analysis

Course Pattern and Logistics :

2 Quizes (5% each) + 1 Midsem (30%) + 1 Endsem (30%) + 1 Course Project (20%) + Class Room Participation (10%)

Comments on the Instructor :

Highly Approachable and  motivating. Motivation is given before every topic being taught. Tutorials are conducted before every exam.

Who will find it interesting :

People who are interested in compilers and want to gain insight into static analysis of programs for compile time optimisations