Static Object Race Detection
Abstract elided by the publisher.
Related papers
- Conditional must not aliasing for static race detection POPL 2007
- BigFoot: static check placement for dynamic race detection PLDI 2017
- Object Race Detection OOPSLA 2001
- Fast and Accurate Static Data-Race Detection for Concurrent Programs CAV 2007
- Effective static race detection for Java PLDI 2006
- RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) ECOOP 2025
- Static Race Detection for Periodic Programs ESOP 2022
- Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP 2020