FastTrack
From MaRDI portal
swMATH23086MaRDI QIDQ34870FDOQ34870
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1542490
Cited In (31)
- Roslyn
- Efficient data race detection for async-finish parallelism
- dBug
- DCatch
- 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
- Minha
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: FastTrack
