Region Analysis for Race Detection
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
- Automatic detection of extended data-race-free regions CGO 2017
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions PLDI 2000
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions TOPLAS 2005
- High-coverage, unbounded sound predictive race detection PLDI 2018
- SOS: saving time in dynamic race detection with stationary analysis OOPSLA 2011
- Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution) TACAS 2023