Trace-Based Symbolic Analysis for Atomicity Violations
No abstract available.
Related papers
- Sound Symbolic Execution via Abstract Interpretation and Its Application to Security VMCAI 2023
- Meta-analysis for Atomicity Violations under Nested Locking CAV 2009
- Monitoring refinement via symbolic reasoning PLDI 2015
- DoubleChecker: efficient sound and precise atomicity checking PLDI 2014
- Root Causing Linearizability Violations CAV 2020
- Finding ∀∃ Hyperbugs using Symbolic Execution OOPSLA 2024
- Atomicity violation checker for task parallel programs CGO 2016
- Fast Atomicity Monitoring PLDI 2026