Data Race Detection by Digest-Driven Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Effective race detection for event-driven programs OOPSLA 2013
- Data Races and Static Analysis for Interrupt-Driven Kernels ESOP 2019
- RacerF: Data Race Detection with Frama-C (Competition Contribution) TACAS 2025
- RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) ECOOP 2025
- When threads meet events: efficient and precise static race detection with origins PLDI 2021
- Race detection for event-driven mobile applications PLDI 2014
- A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution) TACAS 2022
- Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution) TACAS 2023