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 |