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