A Method for Improving the Precision and Coverage of Atomicity Violation Predictions
No abstract available.
Related papers
- The Complexity of Predicting Atomicity Violations TACAS 2009
- DoubleChecker: efficient sound and precise atomicity checking PLDI 2014
- Online Input Grammar Synthesis Aided Symbolic Execution OOPSLA 2026
- Predictive Monitoring with Strong Trace Prefixes CAV 2024
- Atomizer: a dynamic atomicity checker for multithreaded programs POPL 2004
- A serializability violation detector for shared-memory server programs PLDI 2005
- Automated type-based analysis of data races and atomicity PPoPP 2005
- High-coverage, unbounded sound predictive race detection PLDI 2018