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.