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:20260422T000713Z
LOCATION:506
DTSTART;TZID=America/Denver:20231113T142300
DTEND;TZID=America/Denver:20231113T143100
UID:submissions.supercomputing.org_SC23_sess454_ws_eduhpcp106@linklings.co
 m
SUMMARY:Infrastructure for Writing Fork-Join Tests
DESCRIPTION:Prasun Dewan (University of North Carolina)\n\nWe have develop
 ed a software infrastructure for testing multi-threaded programs that impl
 ement the fork-join concurrency model. The infrastructure employs several 
 key ideas: The student solutions use print statements to trace the executi
 on of the fork-join phases. The test writer provides a high-level specific
 ation of the problem-specific aspects of the traces, which is used by the 
 infrastructure to handle the problem-independent and low-level details of 
 processing the traces. During performance testing, trace output is disable
 d automatically. During functionality testing, fine-grained feedback is pr
 ovided to identify the correct and incorrect implementation of the various
  fork-join phases. Tests written using our infrastructure have been used i
 n an instructor-training workshop as an instructor agent clarifying requir
 ements and checking in-progress work. The size of the code to check the co
 ncurrency correctness of final and intermediate results was far smaller th
 an the code to check the serial correctness of such results.\n\nTag: Educa
 tion, Heterogeneous Computing, Reproducibility, State of the Practice, Sus
 tainability\n\nRegistration Category: Workshop Reg Pass\n\nSession Chairs:
  David P. Bunde (Knox College); Sushil K. Prasad (University of Texas at S
 an Antonio); Satish Puri (Missouri University of Science and Technology); 
 Apan Qasem (Texas State University); and George K. Thiruvathukal (Loyola U
 niversity, Chicago; Argonne National Laboratory (ANL))\n\n
END:VEVENT
END:VCALENDAR