Martin Ellis from Contemplate gave an introduction to the ThreadSafe product.  The presentation demonstrated how ThreadSafe can be used to find concurrency bugs in multi-threaded Java programs.