Dynamic Data Race Prediction
Fundamentals, Theory and Practice
Co-located with SOSP 2023

Data races are the most common concurrency bugs and considerable efforts are put in ensuring data-race freedom (DRF) in software. The most popular approach is via dynamic analyses, which soundly report DRF violations by analyzing program executions. Recently, there has been a prevalent shift to predictive analysis techniques which can predict DRF violations even in unobserved program executions.

This tutorial will present the foundations of race prediction, summarise latest advances in race prediction in a concise and present avenues for systems research. State-of-the-art predictive techniques will be explained out of first principles, followed by a comparison between soundness, completeness and complexity guarantees provided in each case. 

Additionally, the tutorial will explain recent advances in data structures and algorithmic paradigms such as sampling for enhancing the performance of data-race detection and prediction techniques. Next, the tutorial will delve into other common concurrency bugs, such as deadlocks and atomicity violations, and illustrate how predictive analysis can be applied for detecting such bugs. The tutorial will include a hands-on demonstration of two relevant tools, namely RAPID and M2. The tutorial will conclude with key open questions as well as potential applications of predictive techniques with the aim to inspire future research in areas relevant to systems research.

Presenters

National University of Singapore

Aarhus University


Tutorial details

Co-located with SOSP 2023 

Date: October 23, 2023
Time: 3:30 pm to 5:00 pm (Germany time)
Session IV (Tutorials and Workshops)

Venue:
Koblenz Kongress (Tagungszentrum 3)
Koblenz, Germany


Past Versions