Fault Localization and Program Analysis Reading Group

LWSN 3162 Tuesday 2:00-3:15pm 2008 Spring

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 PDF
Apr. 8 Zhiqiang Lin Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation.
Apr. 22 Bin Xin