Detection of Transactional Memory anomalies using static analysisBruno TeixeiraJoão Lourençoet al.2010PADTAD 2010