BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20211207T055338Z
LOCATION:Online
DTSTART;TZID=America/Chicago:20211119T105000
DTEND;TZID=America/Chicago:20211119T111000
UID:submissions.supercomputing.org_SC21_sess107_ws_corr103@linklings.com
SUMMARY:High-Precision Evaluation of Both Static and Dynamic Tools Using D
 ataRaceBench
DESCRIPTION:Workshop\n\nHigh-Precision Evaluation of Both Static and Dynam
 ic Tools Using DataRaceBench\n\nLin, Liao\n\nDataRaceBench (DRB) is a dedi
 cated benchmark suite to evaluate tools aimed to find data race bugs in Op
 enMP programs. Using microbenchmarks with or without data races, DRB is ab
 le to generate standard quality metrics and provide systematical and quant
 itative assessments of data race detection tools. In this paper, we presen
 t a new version of DRB with several improvements. First, we design a novel
  approach to enable high-precision checking of tool results. The approach 
 relies on a format to accurately encode data race ground truth information
 . The workflow of DRB has also been improved to support static data race d
 etection tools. Finally, an enhanced code similarity analysis is developed
  to better detect redundant code patterns.  Our experiments show that the 
 improved DRB generates more accurate reports for both static and dynamic d
 ata race detection tools.\n\nTag: Online Only, Correctness, Parallel Progr
 amming Languages and Models, Reliability and Resiliency, Software Engineer
 ing\n\nRegistration Category: Workshop Reg Pass
END:VEVENT
END:VCALENDAR