This schedule is tentative and subject to change.
Acronyms for course references:
A copy of the Dragon Book is essential for the course. The Cooper and Turczon book is available online through the library. The library also carries a print copy of Rival and Yi.
NOTE: These slides are not meant to substitute for lectures.
| Date | Topic | Notes | References |
|---|---|---|---|
| Mon Feb 01, 2021 | |||
| Wed Feb 03, 2021 | |||
| Mon Feb 08, 2021 | |||
| Wed Feb 10, 2021 | |||
| Mon Feb 15, 2021 |
Available Expressions, Reaching Definitions, Very Busy Expressions |
||
| Wed Feb 17, 2021 | |||
| Mon Feb 22, 2021 | |||
| Wed Feb 24, 2021 | |||
| Mon Mar 01, 2021 | |||
| Wed Mar 03, 2021 |
Break |
||
| Mon Mar 08, 2021 | |||
| Wed Mar 10, 2021 | |||
| Mon Mar 15, 2021 | |||
| Wed Mar 17, 2021 | |||
| Mon Mar 22, 2021 | |||
| Wed Mar 24, 2021 | |||
| Mon Mar 29, 2021 | |||
| Wed Mar 31, 2021 | |||
| Mon Apr 05, 2021 | |||
| Wed Apr 07, 2021 | |||
| Mon Apr 12, 2021 | |||
| Wed Apr 14, 2021 |
Abstract Interpretation (II) cont. |
||
| Mon Apr 19, 2021 | |||
| Wed Apr 21, 2021 | |||
| Mon Apr 26, 2021 | |||
| Wed Apr 28, 2021 | |||
| Mon May 03, 2021 | |||
| Wed May 05, 2021 |
Conclusion (no slides) |
||
| Mon May 10, 2021 |
Reading Period/No classes |
||
| Wed May 12, 2021 |
Reading Period/No classes |