DoubleChecker: efficient sound and precise atomicity checking.

Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond

Browse the full PLDI paper archive.