Practical verification of high-level dataraces in transactional memory programsVasco PessanhaRicardo J. Diaset al.2011PADTAD 2011