Automatic detection of extended data-race-free regions
No abstract available.
Related papers
- IFRit: interference-free regions for dynamic data-race detection OOPSLA 2012
- Valor: efficient, software-only region conflict exceptions OOPSLA 2015
- Region Analysis for Race Detection SAS 2009
- Fence placement for legacy data-race-free programs via synchronization read detection PPoPP 2015
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Efficient on-the-fly data race detection in multihreaded C++ programs PPoPP 2003
- Improving the Accuracy of Data Race Detection PPoPP 1991
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000