AVIO
From MaRDI portal
Cited in
(26)- STMBench7
- Eraser
- Atomizer
- Velodrome
- Lee-TM
- Specomp
- Minebench
- WormBench
- SingleTrack
- Goldilocks
- ALPBench
- Fast Detection of Stable and Count Predicates in Parallel Computations
- QuickLex
- jPredictor
- CTrigger
- bzip2smp
- FastTrack
- Falcon
- CHESS
- The Complexity of Predicting Atomicity Violations
- Symbolic predictive analysis for concurrent programs
- tm_db
- TMunit
- BIDE
- Extensible transactional memory testbed
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: AVIO
