Atomizer
From MaRDI portal
Cited in
(37)- Trace-based derivation of a scalable lock-free stack algorithm
- SyncGen
- Eraser
- Velodrome
- Grace
- SNZI
- Autolocker
- SingleTrack
- Checkfence
- Feather-Trace
- Goldilocks
- Java Grande
- DPF
- Java-MOP
- AtomCaml: first-class atomicity via rollback
- Verifying robustness of event-driven asynchronous programs against concurrency
- LARVA
- PLAN
- AtomCaml
- Guava
- Atomizer: a dynamic atomicity checker for multithreaded programs
- jPredictor
- FastTrack
- AVIO
- Trace-based symbolic analysis for atomicity violations
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- The Complexity of Predicting Atomicity Violations
- PhTM
- Symbolic predictive analysis for concurrent programs
- Dependence analysis for safe futures
- Verification of STM on relaxed memory models
- A dynamic logic for deductive verification of multi-threaded programs
- Dynamically checking ownership policies in concurrent C/C++ programs
- Model checking database applications
- Strict linearizability and abstract atomicity
- Adaptive locks: combining transactions and locks for efficient concurrency
- Atomizer: A dynamic atomicity checker for multithreaded programs
This page was built for software: Atomizer
