BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260422T143140Z
LOCATION:B309
DTSTART;TZID=America/New_York:20241122T105000
DTEND;TZID=America/New_York:20241122T111000
UID:submissions.supercomputing.org_SC24_sess772_ws_hpct107@linklings.com
SUMMARY:Testing the Unknown:  A Framework for OpenMP Testing via Random Pr
 ogram Generation
DESCRIPTION:Ignacio Laguna (Lawrence Livermore National Laboratory (LLNL))
 ; Patrick Chapman (University of California, Davis); Konstantinos Parasyri
 s and Giorgis Georgakoudis (Lawrence Livermore National Laboratory (LLNL))
 ; and Cindy Rubio-González (University of California, Davis)\n\nWe present
  a randomized differential testing approach to test OpenMP implementations
 . In contrast to previous work that manually creates dozens of verificatio
 n and validation tests, our approach is able to randomly generate thousand
 s of tests, exposing OpenMP implementations to a wide range of program beh
 aviors. We represent the space of possible random OpenMP tests using a gra
 mmar and implement our method as an extension of the Varity program genera
 tor. By generating 1,800 OpenMP tests, we find various performance anomali
 es and correctness issues when we apply it to three OpenMP implementations
 : GCC, Clang, and Intel. We also present several case studies that analyze
  the anomalies and give more details about the classes of tests that our a
 pproach creates.\n\nTag: Debugging and Correctness Tools, Hardware Technol
 ogies, Resource Management, State of the Practice\n\nRegistration Category
 : Workshop Reg Pass\n\nSession Chairs: Bilel Hadri (King Abdullah Universi
 ty of Science and Technology (KAUST)) and Verónica G. Melesse Vergara (Oak
  Ridge National Laboratory (ORNL))\n\n
END:VEVENT
END:VCALENDAR