Dias, Ricardo, João Louren{\c c}o, and Nuno Pregui{\c c}a. "Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis." Proceedings of the 3nd USENIX conference on Hot topics in parallelism (HotPar?11). HotPar?11. Usenix Association,  2011.