#45 DoubleChecker: Efficent Sound and Precise Atomicity Checking

[Swarnendu Biswas]

DoubleChecker is a novel dynamic atomicity checker that significantly outperforms current state-of-the-art, while still providing full soundness and precision.

Please refer to the following paper for more details:
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond. "DoubleChecker: Efficient Sound and Precise Atomicity Checking", PLDI 2014.

Included in the tar.gz: a README and a patch against Jikes RVM 3.1.3.