| Number | Section Date | Title | Links |
| S1 | 1/06/2011 | Specifications | (HTML) |
| S4 | 1/27/2011 | Equality, Hashing, and Generics | (HTML) |
| S6 | 2/10/2011 | Reasoning with induction | (HTML) |
| S7 | 2/17/2011 | Performance, MDD's, and Design Patterns | (HTML) |
| S8 | 2/23/2011 | GUI Construction with Java Swing | (HTML) |
| S9 | 3/3/2011 | Performance debugging | (HTML) |