Efficient and correct transactional memory programs combining snapshot isolation and static analysis

Ricardo J Dias, João M Lourenço, Nuno M Preguiça
Posted Jan 1, 2011
Link