Login / Signup
When threads meet events: efficient and precise static race detection with origins.
Bozhen Liu
Peiming Liu
Yanze Li
Chia-Che Tsai
Dilma Da Silva
Jeff Huang
Published in:
PLDI (2021)
Keyphrases
</>
event detection
detection algorithm
false positives
automatic detection
data mining
data structure
object detection
computationally efficient
image segmentation
similarity measure
moving objects
detection method
cost effective