RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs. - Simon Schwitanski; Joachim Jenke; Sven Klotz; Matthias S. Müller (SC Workshops, 2023)