Detection of Transactional Memory anomalies using static analysis. - Bruno C. Teixeira; João Lourenço; Eitan Farchi; Ricardo J. Dias; Diogo Sousa 001 (PDATAD, 2010)

Detecting concurrency anomalies in transactional memory programs. - João Lourenço; Diogo Sousa 001; Bruno C. Teixeira; Ricardo J. Dias (Comput. Sci. Inf. Syst., 2011)