Login / Signup
OMPRacer: a scalable and precise static race detector for OpenMP programs.
Bradley Swain
Yanze Li
Peiming Liu
Ignacio Laguna
Giorgis Georgakoudis
Jeff Huang
Published in:
SC (2020)
Keyphrases
</>
multi processor
program execution
shared memory
high performance computing
dynamic analysis
parallel programming
detection algorithm
parallel algorithm
parallel computing
real time
programming environment
lightweight
provably correct
computer programs
low overhead
object recognition
control program
computer vision