Practical verification of high-level dataraces in transactional memory programs.

Vasco Pessanha, Ricardo J. Dias, Joo Loureno, Eitan Farchi, Diogo Sousa

Browse the full ISSTA paper archive.