Enabling semantics to improve detection of data races and misuses of lock‐free data structures | Publicación