Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa. Detection of Transactional Memory anomalies using static analysis. In João Lourenço, editor, Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010. pages 26-36, ACM, 2010. [doi]
Abstract is missing.