Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool.

Manuel F. Dolz, David del Rio Astorga, Javier Fernndez, Jos Daniel Garca, Flix Garca Carballeira, Marco Danelutto, Massimo Torquati

Browse the full PPoPP paper archive.