Detection of Transactional Memory Anomalies Using Static Analysis

Bruno C. Teixeira, João M. Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo G. Sousa
Posted Jan 1, 2010
Cite Link