Detection of Transactional Memory anomalies using static analysis.

Bruno C. Teixeira, Joo Loureno, Eitan Farchi, Ricardo J. Dias, Diogo Sousa

Browse the full ISSTA paper archive.