Teixeira, Bruno, João Louren{\c c}o, Eitan Farchi, Ricardo Dias, and Diogo Sousa. "Detection of Transactional Memory anomalies using static analysis." Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD ?10. New York, NY, USA: ACM,  2010. 26-36.