Hello, 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.* ** *Regards, Vasili*