swMATH8924MaRDI QIDQ20920FDOQ20920
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=964023
Cited In (36)
- 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
- Eraser
- Grace
- Autolocker
- Velodrome
- SNZI
- Checkfence
- SingleTrack
- Feather-Trace
- Goldilocks
- DPF
- Java Grande
- Java-MOP
- Trace-based symbolic analysis for atomicity violations
- LARVA
- PLAN
- AtomCaml
- Guava
- AVIO
- FastTrack
- jPredictor
- PhTM
- 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
