| Date | Topic to be covered | Presenter | Slides |
| M, 8/21 | Introduction | N. Gupta & R. Gupta | |
| W, 8/23 | Software Tracing | R. Gupta | |
| M, 8/28 | Software Security | Vijay Nagarajan | |
| W, 8/30 | Secure Processors | R. Gupta | |
| M, 9/04 | Labor day: no class | . | . |
| W, 9/06 | Software Testing | N. Gupta | |
| M, 9/11 | No class | . | . |
| W, 9/13 | Software Debugging | N. Gupta | |
| M, 9/18 | Regression Testing | Dennis Jeffrey | |
| W, 9/20 | Checkpointing/Logging & Replay | Chen Tian | |
| M, 9/25 | Tracing Memory Dependences | Sriraman Tallam | |
| W, 9/27 | Concept Analysis | Shengjun Li | |
| M, 10/02 | Concept Analysis | Yuyi Chen | |
| W, 10/04 | Tracing | Man Zhang | |
| M, 10/09 | Checkpointing | Karthik Ravichandra | |
| W, 10/11 | Secure Processors | Lopamudra Sarangi | |
| M, 10/16 | Information Flow | Bhavin Mankad | |
| W, 10/18 | Buffer Overflow | Manish Swaminathan | |
| M, 10/23 | Failure-Oblivious Computing | Sriraman Tallam | . |
| W, 10/25 | Using Jockey for Multithreaded Bugs | Chen Tian | |
| M, 10/30 | Tracing Using Information Flow | Vijay Nagarajan, Dennis Jeffrey | . |
| W, 11/01 | Applications of Concept Lattice of Decomposition Slices | Shengjun Li, Yuyi Chen | . |
| M, 11/06 | Finding Compromise between FDR and BugNet | Man Zhang | . |
| W, 11/08 | Hashing for Tamper Resistance | Lopamudra Sarangi | . |
| M, 11/13 | Veterans day: no class | . | . |
| W, 11/15 | Locating Heap Corruption Bugs | Manish Swaminathan | . |
| M, 11/20 | Information Flow I | Karthik Ravichandra | . |
| M, 11/27 | Information Flow II | Bhavin Mankad | . |
| W, 11/29 | Project Presentations | (1) Detecting and Debugging Environmental Bugs: Sriraman and Chen (2) Efficient Tracing for Debugging using Multicores: Dennis and Vijay |
. |
| M, 12/04 | Project Presentations | (3) Quantitative Analysis of Software Modular Structure using Concept Lattice Graph Properties: Li and Chen (4) An Efficient Method for Detecting Heap Corruption Bugs: Manish and Lopamudra |
. |
| W, 12/06 | Project Presentations | (5) XJIF: eXtended JIF compiler for static and dynamic information flow: Bhavin and Karthik (6) Finding Compromise of Deterministic Replay Debugging between FDR and BugNet: Man Zhang Project Reports Due |
. |