Slides: Overview, DFA, PTA1, PTA2, PTA3, Parallel-PTA, SHA, DYN, PAR, SLI, SEC
Handouts: Overview, DFA, PTA1, PTA2, PTA3, SHA, DYN, PAR, SLI, SEC
Evaluation: 50 for assignments + 25 for midsem + 25 for endsem
Deadlines
| Evaluation Item | Student | TA | Instructor |
|---|---|---|---|
| A1 | Jan 21 | Jan 31 | -- |
| A2 | Feb 11 | Feb 21 | -- |
| A3 | Mar 18 | Mar 28 | -- |
| A4 | Apr 15 | Apr 25 | -- |
| MidSem | Mar 9 | -- | Mar 19 |
| EndSem | May 3 | -- | May 13 |
Lectures
| Month | Dates | Topic | Comments |
|---|---|---|---|
| January | 15, 16, 17, 19 | Introduction and Logistics, DFA | Katherine McKinley's slides 1, Monica Lam's lecture 1 |
| 22, 23, 24 | DFA | Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3 | |
| 29, 30, 31 | DFA | ||
| February | 2 | PTA | Andersen's thesis, Steensgaard's paper |
| 5, 6, 7, 9 | PTA | ||
| 12, 13, 14, 16 | PTA | Prioritized pointer analysis, Dominator-based pointer analysis | |
| 19, 20, 21, 23 | PTA | Parallel Pointer Analysis | |
| 26, 27, 28 | SHA | Ghiya+Hendren's shape analysis paper | |
| March | 5, 6, 7, 9 | SHA | MidSem on March 9 |
| 12, 13, 14, 16 | DYN | Ball-Larus Path Profiling, Pre-Post Conditions one, two | |
| 19, 20, 21, 23 | PAR | ||
| 20, 21, 22, 24 | PAR | ||
| 26, 27, 28 | PAR | Dependency Cheker, notes, 26 is Friday timetable | |
| April | 2, 3, 4, 6 | SLI | Slicing paper |
| 9, 10, 11, 13 | SLI | ||
| 16, 17, 18, 20 | SEC | ||
| 23, 24 | Practice | ||
| 25 | Refactoring | Invited Lecture by Jyothi Vedurada | |
| 27 | JVM and Escape Analysis | Invited Lecture by Manas Thakur | |
| May | 3 | EndSem at 09:00 in CS26 |