Detection of transactional memory anomalies using static analysis

Bruno Teixeira, João Lourenço, Eitan Farchi, Ricardo Dias, Diogo Sousa
Posted Jan 1, 2010
Link