This schedule is tentative and subject to change.
Acronyms for course references:
The book Rival and Yi referenced below was not available when this course started. Its full reference is Rival and Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective, MIT Press, 2020. I highly recommend this book.
NOTE: These slides are not meant to substitute for lectures.
| Date | Topic | Notes | References |
|---|---|---|---|
| Wed Jan 15, 2020 | |||
| Mon Jan 20, 2020 |
Martin Luther King Day (no classes) |
||
| Wed Jan 22, 2020 |
CT: Chapter 5: Upto, but not including 5.4 (Optional) Muchnick: Chapter 4 |
||
| Mon Jan 27, 2020 |
CT: Chapter 8: Upto, but not including 8.4.2 |
||
| Wed Jan 29, 2020 |
CT: Chapter 8: Section 8.6.1 Dragon: Section 9.2.5 |
||
| Mon Feb 03, 2020 |
Available Expressions, Reaching Definitions, Very Busy Expressions |
CT: Chapter 9: Section 9.2.4 Dragon: Section 9.2.6 (recommended for a more leisurely treatment) |
|
| Wed Feb 05, 2020 |
CT: Chapter 9: Sections 9.2.1, 9.3 |
||
| Mon Feb 10, 2020 |
CT: Chapter 9: Sections 9.2.1, 9.3 |
||
| Wed Feb 12, 2020 |
Dragon: Chapter 9: Section 9.3 |
||
| Mon Feb 17, 2020 |
Dragon: Chapter 9: Section 9.3 and 9.4 |
||
| Wed Feb 19, 2020 |
Overflow: Lecture 9 followed by |
Cooper and Turczon: Chapter 10 |
|
| Mon Feb 24, 2020 |
Dragon Book: Chapter 9, Section 9.5 |
||
| Wed Feb 26, 2020 |
CT: Chapters 12 and 13 |
||
| Mon Mar 02, 2020 |
Review |
||
| Wed Mar 04, 2020 |
Midterm exam (in class) |
||
| Mon Mar 09, 2020 |
Spring Recess (no class) |
||
| Wed Mar 11, 2020 |
Spring Recess (no class) |
||
| Mon Mar 16, 2020 |
Class cancelled due to extended Spring Recess |
||
| Wed Mar 18, 2020 |
Dragon: Chapter 6, Section 6.5.2 |
||
| Mon Mar 23, 2020 |
Dragon: Chapter 12 |
||
| Wed Mar 25, 2020 |
Dragon: Chapter 12 |
||
| Mon Mar 30, 2020 |
Rival and Yi: Chapter 2 |
||
| Wed Apr 01, 2020 |
Rival and Yi: Chapter 3 |
||
| Mon Apr 06, 2020 |
Rival and Yi: Chapter 3 |
||
| Wed Apr 08, 2020 | |||
| Mon Apr 13, 2020 | |||
| Wed Apr 15, 2020 | |||
| Mon Apr 20, 2020 | |||
| Wed Apr 22, 2020 | |||
| Mon Apr 27, 2020 | |||
| Wed Apr 29, 2020 |
Last day of class |
||
| May 6, 2020, 12:30PM |
Final exam in LeChase 141 |