Bruno C. Teixeira João Lourenço Eitan Farchi Ricardo J. Dias Diogo Sousa Detection of Transactional Memory anomalies using static analysis. 26-36 2010 PDATAD http://doi.acm.org/10.1145/1866210.1866213 conf/issta/2010p db/conf/issta/padtad2010.html#TeixeiraLFDS10