Practical Verification of High-Level Dataraces in Transactional Memory Programs

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