Login / Signup
RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs.
Simon Schwitanski
Joachim Jenke
Sven Klotz
Matthias S. Müller
Published in:
SC Workshops (2023)
Keyphrases
</>
computer programs
automatic detection
risk management
detection accuracy
object detection
detection algorithm
user friendly
detection rate
free software
decision making
building blocks
detection method
data sets
object oriented
data entry
programming environments