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:20210402T160057Z
LOCATION:Track 5
DTSTART;TZID=America/New_York:20201118T110000
DTEND;TZID=America/New_York:20201118T113000
UID:submissions.supercomputing.org_SC20_sess168_pap488@linklings.com
SUMMARY:OMPRacer: A Scalable and Precise Static Race Detector for OpenMP P
 rograms
DESCRIPTION:Paper\n\nOMPRacer: A Scalable and Precise Static Race Detector
  for OpenMP Programs\n\nSwain, Li, Liu, Laguna, Georgakoudis...\n\nWe pres
 ent OMPRacer, a static tool that uses flow-sensitive, interprocedural anal
 ysis to detect data races in OpenMP programs. OMPRacer is fast, scalable, 
 has high code coverage, and supports the most common OpenMP features by co
 mbining state-of-the-art pointer analysis, novel value-flow analysis, happ
 ens-before tracking, and generalized modelling of OpenMP APIs.\n\nUnlike d
 ynamic tools that currently dominate data race detection, OMPRacer achieve
 s almost 100% code coverage using static analysis to detect a broader cate
 gory of races without running the program or relying on specific input or 
 runtime behavior. OMPRacer has competitive precision with dynamic tools li
 ke Archer and ROMP: passing 105/116 cases in DataRaceBench with a total ac
 curacy of 91%.\n\nOMPRacer has been used to analyze several Exascale Compu
 ting Project proxy applications containing over 2 million lines of code in
  under 10 minutes. OMPRacer has revealed previously unknown races in an EC
 P proxy app and a production simulation for COVID19.\n\nTag: Compilers Ana
 lysis and Optimization, Debugging, Storage\n\nRegistration Category: Tech 
 Program Reg Pass
END:VEVENT
END:VCALENDAR