Sign in

Enabling semantics to improve detection of data races and misuses of lock-free data structures.

Manuel F. DolzDavid del Rio AstorgaJavier FernándezMassimo TorquatiJosé Daniel GarcíaFélix García CarballeiraMarco Danelutto
Published in: Concurr. Comput. Pract. Exp. (2017)
Keyphrases