Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Wed 13 Nov 2019 14:00 - 14:20 at Cortez 2&3 - Systems and Localization Chair(s): Tegawendé F. Bissyandé

Localizing concurrency faults that occur in production is hard because, (1) detailed field data, such as user input, file content and interleaving schedule, may not be available to developers to reproduce the failure; (2) it is often impractical to assume the availability of multiple failing executions to localize the faults using existing techniques; (3) it is challenging to search for buggy locations in an application given limited runtime data; and, (4) concurrency failures at the system level often involve multiple processes or event handlers (e.g., software signals), which cannot be handled by existing tools for diagnosing intra-process (thread-level) failures. To address these problems, we present SCMiner, 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. SCMiner achieves online bug diagnosis to obviate the need for offline bug reproduction. SCMiner 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, SCMiner 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. We have conducted an empirical study on 19 real-world benchmarks. The results show that SCMiner is both effective and efficient at localizing system-level concurrency faults.

Preprint (Scminer_preprint.pdf)486KiB
Presentation Slides (Zaman_v2.pptx)2.41MiB

Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

13:40 - 15:20
Systems and LocalizationIndustry Showcase / Research Papers / Demonstrations at Cortez 2&3
Chair(s): Tegawendé F. Bissyandé SnT, University of Luxembourg
13:40
20m
Talk
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study
Research Papers
Jiajun Jiang Peking University, Ran Wang Peking University, Yingfei Xiong Peking University, Xiangping Chen Sun Yat-sen University, Lu Zhang Peking University
Pre-print
14:00
20m
Talk
SCMiner: Localizing System-Level Concurrency Faults from Large System Call Traces
Research Papers
Tarannum Shaila Zaman University of Kentucky, Xue Han University of Kentucky, Tingting Yu University of Kentucky
Pre-print File Attached
14:20
20m
Talk
Root Cause Localization for Unreproducible Builds via Causality Analysis over System Call Tracing
Research Papers
Zhilei Ren Dalian University of Technology, Changlin Liu Case Western Reserve University, Xusheng Xiao Case Western Reserve University, He Jiang School of Software, Dalian University of Technology, Tao Xie Peking University
14:40
20m
Talk
PTracer: A Linux Kernel Patch Trace Bot
Industry Showcase
Yang Wen ZTE Corporation, Jicheng Cao ZTE Corporation, Shengyu Cheng ZTE Corporation
15:00
10m
Demonstration
Pangolin: An SFL-based Toolset for Feature Localization
Demonstrations
Bruno Miguel Sotto-Mayor de Castro Machado IST, University of Lisbon, Alexandre Perez Palo Alto Research Center, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID
15:10
10m
Demonstration
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software
Demonstrations
Dennis Reuling Software Engineering Group, University of Siegen, Udo Kelter Software Engineering Group, University of Siegen, Sebastian Ruland TU Darmstadt, Real-time Systems Lab, Malte Lochau TU Darmstadt
Pre-print Media Attached File Attached