Dynamic Analyses for Data-Race Detection
RV 2012 Invited TutorialThis tutorial explores dynamic analysis techniques to efficiently find data races in large-scale software. It covers the theoretical underpinnings, implementation techniques, and reusable infrastructure used to build state-of-the-art data-race detectors (as well as analyses targeting other types of concurrency errors).
The tutorial provides industrial case studies on finding data races and closes with a discussion of open research questions in this area.
Stephen Freund was supported, in part, by the National Science Foundation under Grants No. 1116825 and 0644130.