Cited in
(31)- Efficient data race detection for async-finish parallelism
- Fast Detection of Stable and Count Predicates in Parallel Computations
- Verification of STM on relaxed memory models
- Atomizer
- Eraser
- TaskChecker
- Velodrome
- Checkfence
- SingleTrack
- RacerX
- Goldilocks
- MODIST
- Clara
- Java-MOP
- ConRepair
- Limi
- Liss
- LARVA
- ThreadSanitizer
- AVIO
- bzip2smp
- CHESS
- CTrigger
- Falcon
- jPredictor
- QuickLex
- dBug
- DCatch
- Roslyn
- Minha
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: FastTrack
