The Complexity of Predicting Atomicity Violations
No abstract available.
Related papers
- A Method for Improving the Precision and Coverage of Atomicity Violation Predictions TACAS 2015
- Accurate and efficient runtime detection of atomicity errors in concurrent programs PPoPP 2006
- Meta-analysis for Atomicity Violations under Nested Locking CAV 2009
- Trace-Based Symbolic Analysis for Atomicity Violations TACAS 2010
- Automated atomicity-violation fixing PLDI 2011
- Atomicity violation checker for task parallel programs CGO 2016
- DoubleChecker: efficient sound and precise atomicity checking PLDI 2014
- Flint: fixing linearizability violations OOPSLA 2014