Just the Races: Speeding Up Data Race Detection by Concentrating on Instrumentation
- 10 October 2026
- book chapter
- Published by Springer Nature
- p. 263-278
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- TeaLeaf: A Mini-Application to Enable Design-Space Explorations for Iterative Sparse Linear Solvers2017
- OpenMP Tools Interface: Synchronization Information for Data Race Detection2017
- ARCHER: Effectively Spotting Data Races in Large OpenMP Applications2016
- CIVL: Formal Verification of Parallel Programs2015
- SPEC OMP2012 — An Application Benchmark Suite for Parallel Systems Using OpenMP2012
- Dynamic Race Detection with LLVM Compiler2012
- Helgrind+: An efficient dynamic race detector2009
- Dynamic slicing of multithreaded programs for race detection2008
- HARD: Hardware-Assisted Lockset-based Race Detection2007
- A probe effect in concurrent programsSoftware: Practice and Experience, 1986