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:20240116T191657Z
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:Workshop\n\nPrasun Dewan (University of North Carolina)\n\nWe 
 have developed a software infrastructure for testing multi-threaded progra
 ms that implement the fork-join concurrency model. The infrastructure empl
 oys several key ideas: The student solutions use print statements to trace
  the execution of the fork-join phases. The test writer provides a high-le
 vel specification 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 outpu
 t is disabled automatically. During functionality testing, fine-grained fe
 edback is provided to identify the correct and incorrect implementation of
  the various fork-join phases. Tests written using our infrastructure have
  been used in an instructor-training workshop as an instructor agent clari
 fying requirements and checking in-progress work. The size of the code to 
 check the concurrency correctness of final and intermediate results was fa
 r smaller than the code to check the serial correctness of such results.\n
 \nTag: Education, Heterogeneous Computing, Reproducibility, State of the P
 ractice\n\nRegistration Category: Workshop Reg Pass\n\nSession Chairs: Dav
 id P. Bunde (Knox College); Sushil K. Prasad (University of Texas, San Ant
 onio); Satish Puri (Missouri University of Science and Technology); Apan Q
 asem (Texas State University); and George K. Thiruvathukal (Loyola Univers
 ity, Chicago)
END:VEVENT
END:VCALENDAR