| cs618-2020-21 Tentative Schedule |
| Lecture Time:
3:30 to 5:00 pm (Slot 11) |
| There will be no live lectures. Pre-recorded
lecture videos will be released in the beginning of the week
and lecture slots will be used for live discussions which
will be supplemented by moodle discussions. |
| Week |
Lecture Day |
Module |
Topics |
| 0 |
Tuesday 11 Aug |
Introduction
and Motivation |
Examples of
optimization and analyses, course Overview |
| Friday 14 Aug |
| 1 |
Tuesday 18 Aug |
Bit Vector
Data Flow Frameworks |
Live variables
analysis, Available expressions analysis, Observations about
data flow analysis, Reaching definitions analysis,
Anticipable expressions analysis, A taxonomy of data flow
analysis |
| Friday 21 Aug |
| 2 |
Tuesday 25 Aug |
| Friday 28 Aug |
| 3 |
Tuesday 1 Sep |
| Friday 4 Sep |
| 4 |
Tuesday 8 Sep |
Theoretical
Abstractsions in Data Flow Analysis |
Introduction to
constant propagation, Lattice theoretic modeling of data
flow information, Flow functions, monotonicity and
distributivity, MoP and MFP assignments, Complexity of data
flow analysis, Worklist based methods |
| Friday 11 Sep |
| 5 |
Tuesday 15 Sep |
| Friday 18 Sep |
| 6 |
Tuesday 22 Sep |
| Friday 25 Sep |
|
Monday 28
Sep |
Mid-Sem Week |
| 7 |
Tuesday 6 Oct |
General Data
Flow Frameworks |
Constant
propagation revisited,Strongly live variables analysis,
Pointer analysis, Anderson's and Steensgard's approaches,
Flow-sensitive pointer analysis, Liveness-based pointer
analysis, Liveness analysis of heap data |
| Friday 9 Oct |
| 8 |
Tuesday 13 Oct |
| Friday 16 Oct |
| 9 |
Tuesday 20 Oct |
| Friday 23 Oct |
| 10 |
Tuesday 27 Oct |
| Friday
30 Oct |
Holiday |
| Saturday 31 Oct |
Interprocedural Data Flow Analysis |
Introduction to
interprocedural data flow analysis, Functional Approach,
Call Strings base method, Value context based
interprocedural analysis, A unified view of interprocedural
analysis |
| 11 |
Tuesday 3 Nov |
| Friday 6 Nov |
| 12 |
Tuesday 10 Nov |
| Friday 13 Nov |
| 13 |
Tuesday 17 Nov |
| Friday 20 Nov |
Wrap Up |
|