Here's a <a href="http://bit.ly/8ob1Pv">comparison of Jinx and Microsoft Cuzz,</a> detailing their similar (but different) approaches to finding shared memory bugs in multi-threaded applications.