Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises.

Feiyang Jin Lechen Yu Tiago Cogumbreiro Jun Shirako Vivek Sarkar

Published in: ECOOP (2023)

Keyphrases

false positives
dynamic environments
detection method
false alarms
data sets
object detection
detection rate
high level programming language
website
programming language
anomaly detection
neural network
logic programs
np complete
parallel implementation
massively parallel