| Date | Presenter | Topic | Note | |
| Feb. 19 | Deciding schedule and topics. | |||
| Feb. 26 | Murali Ramanathan | Static Path-Aware Analysis of Program Invariants PLDI07 ICSE07 | PPT | |
| Mar. 4 | Leonardo Bachega | Problem Diagnosis in Large-Scale Computing Environments DMTracker | PPT | |
| Mar. 25 | Nick Sumner | WiDS Checker MazeMC | ||
| Apr. 8 | Zhiqiang Lin | Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation. | ||
| Apr. 22 | Bin Xin |