On the correctness of transactional memory
February, 2008
Rachid Guerraoui, Michal Kapalka
PPOPP 2008: 175-184
An Integrated Approach to Transactional Memory on Multi and Many-core Computers
Blog
