Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool.
Manuel F. DolzDavid del Rio AstorgaJavier FernándezJosé Daniel GarcíaFélix García CarballeiraMarco DaneluttoMassimo TorquatiPublished in: PMAM@PPoPP (2016)