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