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:20231112T163000
DTEND;TZID=America/Denver:20231112T164200
UID:submissions.supercomputing.org_SC23_sess438_ws_corr106@linklings.com
SUMMARY:Toward Correctness Checking of MPI Partitioned Communication in MU
 ST
DESCRIPTION:Simon Schwitanski, Niko Sakic, Joachim Jenke, Felix Tomski, an
 d Marc-André Hermanns (IT Center, RWTH Aachen University)\n\nPartitioned c
 ommunication introduced with MPI 4.0 can improve the communication efficie
 ncy of hybrid parallel models. It allows threads on the sender and the rec
 eiver side to work on parts of a communication buffer before the communica
 tion operation is fully completed. In this presentation, we discuss which 
 kind of erroneous usage patterns are possible with MPI partitioned communi
 cation and provide a set of example test cases to be integrated in future 
 classification quality benchmark suites. Further, we explain how we implem
 ented first basic checks specific to partitioned communication, namely arg
 ument errors and erroneous partition activation, in our correctness checki
 ng tool MUST. The evaluation on the example test cases shows that MUST can
  correctly detect the errors and can help users to pinpoint bugs in their 
 application.\n\nTag: Applications, Software Engineering\n\nRegistration Ca
 tegory: Workshop Reg Pass\n\nSession Chairs: Ignacio Laguna (Lawrence Live
 rmore National Laboratory (LLNL)); Cindy Rubio-González (University of Cal
 ifornia, Davis); and Emmanuelle Saillard (French Institute for Research in
  Computer Science and Automation (INRIA))\n\n
END:VEVENT
END:VCALENDAR