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: 40 for assignments + 20 for midsem + 30 for endsem + 10 for scribing.
Deadlines
| Evaluation Item | Student | TA | Instructor |
|---|---|---|---|
| A1 | Jan 15 | Jan 25 | -- |
| A2 | Feb 5 | Feb 15 | -- |
| A3 | Mar 5 | Mar 15 | -- |
| A4 | Apr 9 | Apr 19 | -- |
| MidSem | Mar 1 | -- | Mar 11 |
| EndSem | Apr 26 | -- | May 6 |
| Scribe | after 3 days | after 3 days |
Lectures
| Month | Dates | Topic | Comments |
|---|---|---|---|
| January | 9, 10, 11, 13 | Introduction and Logistics, DFA | Katherine McKinley's slides 1, Monica Lam's lecture 1 |
| 16, 17, 18, 20 | DFA | Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3 | |
| 23, 24, 25, 27 | DFA | ||
| 30, 31 | PTA | ||
| February | 1, 3 | PTA | Andersen's thesis, Steensgaard's paper |
| 6, 7, 8, 10 | PTA | 7 is problem set | |
| 13, 14, 15, 17 | PTA | Prioritized pointer analysis, Dominator-based pointer analysis | |
| 20, 21, 22, 24 | PTA | Parallel Pointer Analysis | |
| 27, 28 | Guest lecture by Murali Krishna Ramanathan | ||
| March | 1, 3 | PAR | Mar 1 is MidSem |
| 6, 7, 8, 10 | PAR | Dependency Cheker, notes | |
| 14, 15, 17 | SEC | ||
| 20, 21, 22, 24 | DYN | Ball-Larus Path Profiling, Pre-Post Conditions one, two | |
| 27, 29, 31 | DYN | ||
| April | 1, | SHA | |
| 3, 4, 5, 7 | SHA | Ghiya+Hendren's shape analysis paper | |
| 10, 11, 12 | SLI | 12 is Friday timetable, Slicing paper | |
| 17, 18, 19 | SLI | ||
| 26 | EndSem |