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:20260422T000712Z
LOCATION:708
DTSTART;TZID=America/Denver:20231112T165400
DTEND;TZID=America/Denver:20231112T170600
UID:submissions.supercomputing.org_SC23_sess438_ws_corr108@linklings.com
SUMMARY:Investigating the Real-World Applicability of MPI Correctness Benc
 hmarks
DESCRIPTION:Alexander Hück and Tim Jammer (TU Darmstadt), Joachim Jenke (R
 WTH Aachen University), and Christian Bischof (TU Darmstadt)\n\nThe MPI co
 rrectness benchmarks MPI-Corrbench and the MPI Bugs Initiative contain sta
 ndardized test cases of correct and erroneous use of MPI, allowing MPI cor
 rectness tool developers to assess their tools performance and guide furth
 er development of their checking capabilities.  Hence, the correctness ben
 chmarks should encompass representative MPI (mis-)usage that mirrors real-
 world codes.  To that end, we analyze the MPI usage of these correctness b
 enchmarks at argument granularity and compare it to a previously collected
  data set of 96 HPC codes.  This assessment measures the benchmarks' proxi
 mity to real-world MPI usage patterns and offers insights for enhancing th
 eir coverage.\n\nTag: Applications, Software Engineering\n\nRegistration C
 ategory: Workshop Reg Pass\n\nSession Chairs: Ignacio Laguna (Lawrence Liv
 ermore National Laboratory (LLNL)); Cindy Rubio-González (University of Ca
 lifornia, Davis); and Emmanuelle Saillard (French Institute for Research i
 n Computer Science and Automation (INRIA))\n\n
END:VEVENT
END:VCALENDAR