CS
618:
Program
Analysis (2010-2011)
Venue: KR Building SIC 205
Lecture
Schedule and Coverage Plan
|
Sr No |
Day |
Date |
Topic |
|---|---|---|---|
|
1 |
Friday |
July 23 |
Motivation and introduction to data flow analysis: examples of analysis and optimization |
|
2 |
Wednesday |
July 28 |
Program execution model, Execution semantics, Bit vector data flow frameworks: Liveness analysis |
|
3 |
Friday |
July 30 |
Bit vector data flow frameworks: Available expressions analysis |
|
4 |
Wednesday |
Aug 04 |
Bit vector data flow frameworks: Reaching Definitions Analysis and Anticipable expressions analysis |
|
5 |
Friday |
Aug 06 |
Bit vector data flow frameworks: Classical partial redundancy elimination |
|
6 |
Wednesday |
Aug 11 |
Bit vector data flow frameworks: Classical partial redundancy elimination |
|
7 |
Friday |
Aug 13 |
Check point 1: Tutorial/Quiz/make up session on Bit vector frameworks |
|
8 |
Wednesday |
Aug 18 |
Non- separable data flow frameworks: Constant propagation |
|
9 |
Friday |
Aug 20 |
Theoretical abstractions in data flow analysis: Lattice theoretic modeling of data flow information |
|
10 |
Wednesday |
Aug 25 |
Theoretical abstractions in data flow analysis: Flow
functions, monotonicity and distributivity |
| 11 |
Friday |
Aug 27 | Theoretical abstractions in data flow analysis: MoP assignments, existence and soundness |
|
12 |
Wednesday |
Sept 01 |
Theoretical abstractions in data flow analysis: MFP assignments, existence and soundness |
| 13 |
Friday | Sept 03 | Theoretical abstractions in data flow analysis: Complexity of data flow analysis, separability of flow functions |
|
14 |
Wednesday |
Sept 08 |
Check point 2: Tutorial/Quiz/make up session on Theoretical
abstractions in data flow analysis |
|
Sept 11th to 18th : MID-SEMESTER EXAMINATION |
|||
|
15 |
Wednesday |
Sept 22 |
General data flow frameworks: Constant Propagation
Revisited |
|
16 |
Friday |
Sept 24 |
General data flow frameworks: Faint variables analysis |
|
17 |
Wednesday |
Sept 29 |
General data flow frameworks: Pointer analysis |
|
18 |
Friday |
Oct 01 |
General data flow frameworks: Pointer analysis |
|
19 |
Wednesday |
Oct 06 |
General data flow frameworks: Liveness analysis of heap data |
| 20 |
Friday |
Oct 08 |
General data flow frameworks: Liveness analysis of heap data |
|
21 |
Wednesday |
Oct 13 |
General data flow frameworks: Pointer analysis of heap data |
|
22 |
Friday |
Oct 15 |
General data flow frameworks: Pointer analysis of heap data |
|
23 |
Wednesday |
Oct 20 |
Check point 3:
Tutorial/Quiz/make up session on General data flow frameworks |
|
24 |
Friday |
Oct 22 |
Introduction to interprocedural data flow analysis: inherited and synthesized data flow information, flow and context sensitivity |
|
25 |
Wednesday |
Oct 27 |
Functional approach to interprocedural data flow analysis |
|
26 |
Friday |
Oct 29 |
Functional approach to interprocedural data flow analysis |
|
27 |
Wednesday |
Nov 03 |
Call strings based method of interprocedural data flow analysis |
|
28 |
Wednesday |
Nov 10 |
Call strings based method of interprocedural data flow analysis |
|
29 |
Friday |
Nov 12 |
Check point 4:
Tutorial/Quiz/make up session on Interprocedural data flow analysis |
|
Nov 16th to 28th : SEMESTER-END EXAMINATION |
|||