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 |