ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Wed 17 Apr 2024 14:15 - 14:30 at Fernando Pessoa - Analysis and Debugging 1 Chair(s): Kihong Heo

Due to the non-determinism of thread interleaving, predicting concurrency bugs has long been an extremely difficult task. Recently, several sound bug-detecting approaches were proposed. These approaches are based on local search, i.e., mutating the sequential order of the observed trace and predicting whether the mutated sequential order can trigger a bug. Surprisingly, during this process, they never consider reordering the data flow of the pointers, which can be the key point to detecting many complex bugs. To alleviate this weakness, we propose a new flow-sensitive point-to analysis technique ConPTA to help actively reorder the pointer flow during the sequential order mutation process. Based on ConPTA, we further propose a new sound predictive bug-detecting approach Eagle to predict four types of concurrency bugs. They are null pointer dereference (NPD), uninitialized pointer use (UPU), use after free (UAF), and double free (DF). By actively reordering the pointer flow, Eagle can explore a larger search space of the thread interleaving during the mutation and thus detect more concurrency bugs. Our evaluation of Eagle on 10 real-world multi-threaded programs shows that Eagle significantly outperforms four state-of-the-art bug-detecting approaches UFO, ConVul, ConVulPOE and Period in both effectiveness and efficiency.

Wed 17 Apr

Displayed time zone: Lisbon change

14:00 - 15:30
Analysis and Debugging 1Research Track / Journal-first Papers at Fernando Pessoa
Chair(s): Kihong Heo KAIST
14:00
15m
Talk
CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace
Research Track
Yuchao Huang , Junjie Wang Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Yawen Wang Institute of Software, Chinese Academy of Sciences, Song Wang York University, Chunyang Chen Technical University of Munich (TUM), Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
14:15
15m
Talk
Reorder Pointer Flow in Sound Concurrency Bug Prediction
Research Track
Yuqi Guo Institute of Software, Chinese Academy of Sciences, Beijing, China, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences, Liang He TCA, Institute of Software, Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:30
15m
Talk
Object Graph Programming
Research Track
Aditya Thimmaiah The University of Texas at Austin, Leonidas Lampropoulos University of Maryland, College Park, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
14:45
15m
Paper
Semantic Analysis of Macro Usage for Portability
Research Track
Brent Pappas University of Central Florida, Paul Gazzillo University of Central Florida
Link to publication DOI Pre-print Media Attached File Attached
15:00
7m
Talk
PREVENT: An Unsupervised Approach to Predict Software Failures in Production
Journal-first Papers
Giovanni Denaro University of Milano - Bicocca, Rahim Heydarov USI Università della Svizzera Italiana, Ali Mohebbi USI Lugano, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
15:07
7m
Talk
On the Effectiveness of Log Representation for Log-based Anomaly Detection
Journal-first Papers
Xingfang Wu Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal
15:14
7m
Talk
On the Caching Schemes to Speed Up Program Reduction
Journal-first Papers
Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Xueyan Zhang University of Waterloo;, Yiwen Dong University of Waterloo, Zhenyang Xu University of Waterloo, Mengxiao Zhang , Yu Jiang Tsinghua University, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo
Link to publication DOI
15:21
7m
Talk
DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-based Systems
Journal-first Papers
Luca Traini University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Luca Traini University of L'Aquila
Link to publication DOI