Detecting visibility bugs in concurrent Java
vmlens.com