Research Project 3: Automated Localization of System-level Concurrency Bugs

We develop a practical online bug diagnosis tool to help developers understand how a system-level concurrency fault happens based on the logs collected by the default system audit tools. Our Technique achieves online bug diagnosis to obviate the need for offline bug reproduction. It does not require code instrumentation on the production system or rely on the assumption of the availability of multiple failing executions. Specifically, after the system call traces are collected, it uses data mining and statistical anomaly detection techniques to identify the failure inducing system call sequences. It then maps each abnormal sequence to specific application functions.