Write a Blog >>
ESEC/FSE 2022
Mon 14 - Fri 18 November 2022 Singapore
Tue 15 Nov 2022 11:00 - 11:15 at SRC GLR - JF Debugging & Localization Chair(s): Rui Abreu

Instruction reordering and interleavings in program execution under relaxed memory semantics result in non-intuitive behaviors, making it difficult to provide assurances about program correctness. Several static analyses approaches exist, but studies have shown that up to 90% of the concurrency bugs reported by state-of-the-art static analyzers are false alarms. As a result, filtering false alarms and detecting real concurrency bugs is a challenging problem. Unsurprisingly, this problem has attracted the interest of the research community over the past few decades. Nonetheless, many of the existing techniques rely on analyzing source code, rarely consider the effects introduced by compilers, and assume a sequentially consistent memory model.
In a practical setting, however, developers often do not have access to the source code, and even commodity architectures such as x86 and ARM are not sequentially consistent.

In this work, we present BiRD, a prototype tool, to dynamically detect harmful data races in x86 binaries under relaxed memory models, TSO and PSO. BiRD employs source-DPOR to explore all distinct feasible interleavings for a multithreaded application. Our evaluation of BRD on 42 publicly available benchmarks and its comparison with the state-of-the-art tools indicate BiRD’s potential in effectively detecting data races in software binaries.

Tue 15 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:45 - 12:15
JF Debugging & LocalizationJournal First at SRC GLR
Chair(s): Rui Abreu Meta Platforms
10:45
15m
Talk
Context-Aware Code Change Embedding for Better Patch Correctness Assessment
Journal First
Bo Lin National University of Defense Technology, Shangwen Wang National University of Defense Technology, Ming Wen Huazhong University of Science and Technology, Xiaoguang Mao National University of Defense Technology
Link to publication DOI Pre-print
11:00
15m
Talk
BiRD: Race Detection in Software Binaries under Relaxed Memory Models
Journal First
Ridhi Jain Indraprastha Institute of Information Technology Delhi, Rahul Purandare IIIT-Delhi, Subodh Sharma IIT Delhi
Link to publication DOI
11:15
15m
Talk
ASTRAEA: Grammar-based Fairness Testing
Journal First
Ezekiel Soremekun SnT, University of Luxembourg, Sakshi Udeshi Singapore University of Technology and Design, Sudipta Chattopadhyay Singapore University of Technology and Design
Link to publication DOI Pre-print
11:30
15m
Talk
Exploring Performance Assurance Practices and Challenges in Agile Software Development: An Ethnographic Study
Journal First
Luca Traini University of L'Aquila
Link to publication DOI
11:45
15m
Talk
Studying logging practice in test code
Journal First
Haonan Zhang Concordia University, Yiming Tang Concordia University, Maxime Lamothe Polytechnique Montréal, Heng Li Polytechnique Montréal, Weiyi Shang Concordia University
12:00
15m
Talk
Locating Faults with Program Slicing: An Empirical Analysis
Journal First
Ezekiel Soremekun SnT, University of Luxembourg, Lukas Kirschner Saarland University, Marcel Böhme MPI-SP, Germany and Monash University, Australia, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI Pre-print