CS638 : Program Analysis 2004-2005

Lecture Hours :

(Slot 2) Tuesday 9:30, Thursday 10:35, Friday 8:30 in class room A2.

Tentative Lecture Schedule :

January
-------
Tu Th Fr
--------
 4  6  7  Week 1 :  Introduction to Data Flow Analysis,
                    Program Representation,
                    Available Expressions Analysis,
                    AVE on Lance IR,
                    Lattices, Partial Order,
                    Maximum and Minimum Fixed Points
11 13 14  Week 2 :  Introduction to Prolog,
                    Creating examples of AVE using Prolog
                    Converting AVE implementation to storage Based Implementation
18 20 21  Week 3 :  Constant Propagation, Monotonicity, Distributivity, Boundedness
25 27 28  Week 4 :  Heap References and Access Graphs

February
--------
Tu Th Fr
--------
 1  3  4  Week 5 :  Alias Analysis of Heap
 8 10 11  Week 6 :  Alias Analysis of Heap
15 17 18  Week 7 :  Liveness Analysis of Heap
Mid-Sem

March
--------
Tu Th Fr
--------
 1  3  4  Week 8 :  Liveness Analysis of Heap 
 8 10 11  Week 9 :  Anticipability and Availability Analysis of Heap
15 17 18  Week 10:  Nullability Analysis 
22 24 25  Week 11:  Static Flow Sensitive Type Inferencing
29 31     Week 12:  Static Flow Sensitive Type Inferencing

April
--------
Tu Th Fr
--------
      1
5  7  8   Week 13:  Dependence Based Constant Propagation 
12 14 15  Week 14:  Dependence Based Constant Propagation