| Date | Topic to be covered | Presenter | Slides |
| Jan 8 | Introduction and Program Representations | Zhang | Introduction [PDF] [PPT] |
| Jan 10 | Program Representations | Zhang | |
| Jan 15 - Jan 19 | Program Analysis | Zhang | |
| Jan 22 - Jan 26 | Tools and Implementation | Zhang | |
| Jan 29 - Feb 2 | Testing and Program Slicing | Zhang | |
| Feb 5 - Feb 9 | |||
| Feb 12 - Feb 16 | |||
| Feb 19 - Feb 23 | |||
| Feb 26 - Mar 2 | Project Presentations | ||
| Mar 5 - Mar 9 | |||
| Mar 19 - Mar 23 | |||
| Mar 26 - Mar 30 | |||
| Apr 2 - Apr 6 | |||
| Apr 9 - Apr 13 | |||
| Apr 16 - Apr 20 | |||
| Apr 23 - Apr 27 | Project Presentations |