The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment
An effective hybrid transactional memory system with strong isolation guarantees