Atomizer
From MaRDI portal
Software:20920
swMATH8924MaRDI QIDQ20920FDOQ20920
Author name not available (Why is that?)
Cited In (16)
- Strict linearizability and abstract atomicity
- Trace-based derivation of a scalable lock-free stack algorithm
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- Symbolic predictive analysis for concurrent programs
- Dependence analysis for safe futures
- Verifying robustness of event-driven asynchronous programs against concurrency
- Atomizer: A dynamic atomicity checker for multithreaded programs
- Verification of STM on relaxed memory models
- Adaptive locks: combining transactions and locks for efficient concurrency
- A dynamic logic for deductive verification of multi-threaded programs
- Trace-based symbolic analysis for atomicity violations
- Dynamically checking ownership policies in concurrent C/C++ programs
- Atomizer: a dynamic atomicity checker for multithreaded programs
- Model checking database applications
- AtomCaml: first-class atomicity via rollback
- The Complexity of Predicting Atomicity Violations
This page was built for software: Atomizer
