FastTrack

swMATH23086MaRDI QIDQ34870FDOQ34870

Author name not available (Why is that?)

Cited In (4)

• 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
• Abstraction and mining of traces to explain concurrency bugs

This page was built for software: FastTrack