| Number | Lastmod | Title | Links |
| T1 | 1/3/2011 | Tools Overview | (HTML) |
| T2 | 1/3/2011 | Editing, Compiling, Running, and Testing Java Programs | (HTML) |
| T3 | 1/17/2011 | Version Control (SVN) Reference | (HTML) |
| T4 | 1/3/2011 | Eclipse Reference for CSE331 | (HTML) |
| T5 | 1/3/2011 | Working at home | (HTML) |
| T6 | 1/3/2011 | Problem Set Submission | (HTML) |
| T7 | 1/3/2011 | Daikon invariant detector | (HTML) |
| T8 | 1/23/2011 | Checker Framework for pluggable type-checking | (HTML) |