BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Denver
X-LIC-LOCATION:America/Denver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0700
TZOFFSETTO:-0600
TZNAME:MDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0600
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260422T000711Z
LOCATION:708
DTSTART;TZID=America/Denver:20231112T153000
DTEND;TZID=America/Denver:20231112T155000
UID:submissions.supercomputing.org_SC23_sess438_ws_corr104@linklings.com
SUMMARY:RMARaceBench:  A Microbenchmark Suite to Evaluate Race Detection T
 ools for RMA Programs
DESCRIPTION:Simon Schwitanski, Joachim Jenke, Sven Klotz, and Matthias S. 
 Müller (Chair for High-Performance Computing, IT Center, RWTH Aachen Unive
 rsity)\n\nParallel programming models with Remote Memory Access (RMA), suc
 h as MPI RMA, OpenSHMEM, and GASPI, allow processes to modify the memory o
 f other processes directly.  Special care is needed to avoid concurrent co
 nflicting accesses that lead to data races across processes with undefined
  behavior. Although only some tools exist that can detect RMA races, there
  needs to be a possibility to compare their effectiveness systematically. 
 We present RMARaceBench, a microbenchmark suite, to evaluate the detection
  capabilities of current and future RMA race detection tools for MPI RMA, 
 OpenSHMEM, and GASPI. It consists of about 100 synthetic race test cases f
 or each programming model, aiming to cover all possible race scenarios. Us
 ing RMARaceBench, we evaluate two MPI RMA race detectors implemented in th
 e correctness tools PARCOACH and MUST. The evaluation shows that RMARaceBe
 nch can pinpoint the strengths and weaknesses of RMA race detectors.\n\nTa
 g: Applications, Software Engineering\n\nRegistration Category: Workshop R
 eg Pass\n\nSession Chairs: Ignacio Laguna (Lawrence Livermore National Lab
 oratory (LLNL)); Cindy Rubio-González (University of California, Davis); a
 nd Emmanuelle Saillard (French Institute for Research in Computer Science 
 and Automation (INRIA))\n\n
END:VEVENT
END:VCALENDAR