Detecting concurrency anomalies in transactional memory programs

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