http://www.coverity.com/html/library.php ....Ensuring Code Quality in Multi-threaded Applications

This "white paper" touches on Haskell's STM but also issues that Sweeney brought up in his slides(parallel programming in huge multi-cores and why the current thread-based paradigm is woefully inadequate. I already sent to Simon Peyton-Jones and Simon Marlowe.