Practical verification of high-level dataraces in transactional memory programs

Vasco Pessanha, Ricardo J Dias, João M Lourenço, Eitan Farchi, Diogo Sousa
Posted Jan 1, 2011
Link