A | B | C | D | E | |
---|---|---|---|---|---|
1 | CS 618: Program Analysis (2018-2019) Lecture Hours: Monday and Thursday 2:00 to 3:25 (Slot 8) Venue: KR Building SIC 205 Lecture Schedule and Tentative Coverage Plan | ||||
2 | Lecture No | Day | Date | Module | Topic |
3 | 1 | Monday | 16-Jul | Introduction | Motivation and introduction to data flow analysis: examples of analysis and optimization |
4 | 2 | Thursday | 19-Jul | Program model, precision and soundness of static abstractions (OR selection test, if required) | |
5 | 3 | Monday | 23-Jul | Bit Vector Data Flow Frameworks | Live variables analysis, Observations about data flow analysis |
6 | 4 | Thursday | 26-Jul | Available expressions analysis, Observations about data flow analysis | |
7 | 5 | Monday | 30-Jul | Reaching definitions analysis | |
8 | 6 | Thursday | 2-Aug | Anticipable expressions analysis, A taxonomy of bit vector data flow analysis | |
9 | 7 | Monday | 6-Aug | Theoretical Abstractions in Data Flow Analysis | Introduction to constant propagation |
10 | 8 | Thursday | 9-Aug | Quiz 1 (Bit vector frameworks) | |
11 | 9 | Monday | 13-Aug | Lattice theoretic modeling of data flow information | |
12 | 10 | Thursday | 16-Aug | Flow functions, monotonicity and distributivity | |
13 | 11 | Monday | 20-Aug | MoP and MFP assignments | |
14 | 12 | Thursday | 23-Aug | Undecidability of data flow analysis | |
15 | 13 | Monday | 27-Aug | Complexity of data flow analysis | |
16 | 14 | Thursday | 30-Aug | Worklist based methods | |
17 | 15 | Monday | 3-Sep | Soundness and precision of data flow analysis | |
18 | 16 | Thursday | 6-Sep | Make up session | |
19 | Mid-Semester Examination | ||||
20 | 17 | Monday | 17-Sep | General Data Flow Frameworks | Constant propagation revisited |
21 | 18 | Thursday | 20-Sep | Strongly live variables analysis | |
22 | 19 | Monday | 24-Sep | Pointer analysis, Anderson's and Steensgard's approaches | |
23 | 20 | Thursday | 27-Sep | Liveness based pointer analysis | |
24 | 21 | Monday | 1-Oct | Liveness based pointer analysis | |
25 | 22 | Thursday | 4-Oct | Liveness analysis of heap data | |
26 | 23 | Monday | 8-Oct | Liveness analysis of heap data | |
27 | 24 | Thursday | 11-Oct | Quiz 2 (General data flow frameworks) | |
28 | 25 | Monday | 15-Oct | Design of Data Flow Analyses | Design tutorial on data flow analysis |
29 | 26 | Thursday | 18-Oct | Design tutorial on data flow analysis | |
30 | 27 | Monday | 22-Oct | Interprocedural Data Flow Analysis | Introduction to interprocedural data flow analysis |
31 | 28 | Thursday | 25-Oct | Functional approach | |
32 | 29 | Monday | 29-Oct | Call strings based method | |
33 | 30 | Thursday | 1-Nov | Value context based interprocedural analysis | |
34 | 31 | Monday | 5-Nov | A unified view of interprocedural analysis | |
35 | 32 | Thursday | 8-Nov | Wrap up | |
36 | End-Semester Examination |