Strengthening Induction-Based Race Checking with Lightweight Static Analysis
Abstract elided by the publisher.
Related papers
- RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) ECOOP 2025
- SCRATCH: a tool for automatic analysis of dma races PPoPP 2011
- Lightweight annotations for controlling sharing in concurrent data structures PLDI 2009
- Lightweight, flexible object-oriented generics PLDI 2015
- LiteRace: effective sampling for lightweight data-race detection PLDI 2009
- BigFoot: static check placement for dynamic race detection PLDI 2017
- Checking race freedom via linear programming PLDI 2008
- Lightweight fault detection in parallelized programs CGO 2013