Month Topics Evaluation ----- -------- ----------- JAN DFA, SLI A1 FEB PAR, DYN A2, A3 MAR PTA, SHA MIDSEM, CP1 APR POL, SEC CP2 MAY -- ENDSEMMIDSEM: Mar 2 ENDSEM: May 5 |
Slides: Overview, DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC, POL
Handouts: Overview, DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC, POL
Lectures
Month | Dates | Topic | Comments |
---|---|---|---|
January | 12, 13, 14, 16 | Introduction and Logistics, DFA | Katherine McKinley's slides 1, Monica Lam's lecture 1 |
19, 20, 21, 23 | DFA | Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3 | |
27, 28, 30 | SLI | Slicing paper | |
February | 2, 3, 4, 6 | SLI, PAR | |
9, 10, 11, 13 | PAR | ||
16, 17, 18, 20 | PAR | ||
23, 24, 25, 27 | PAR, DYN | Ball-Larus Path Profiling, Pre-Post Conditions one, two | |
March | 2+2, 3, 4 | MidSem+MidSem, DYN | MidSem for regular+self-study students |
9, 10, 11, 13 | PTA | Andersen's Thesis, Steensgaard's paper | |
16, 17, 18, 20 | PTA | Prioritized pointer analysis, Dominator-based pointer analysis, Replication based analysis [handout] | |
23, 24, 25, 27+27 | PTA, CP1 | Online Pointer Analysis, second lecture on 27 is for project presentations | |
30, 31 | CP1 | ||
April | 6, 7, 8, 10 | SHA, CP2 | Ghiya+Hendren's shape analysis paper |
13, 15, 17 | SEC | ||
20, 21, 22, 24 | POL | Video lectures on Polyhedral model (courtesy Raghesh), Bastoul's thesis, Pouchet's lectures | |
27, 28 | Problem solving and doubts | ||
May | 5 | EndSem |