Título da Tese: Efficient and Correct Transactional Memory using Snapshot Isolation and Static Analysis
Orientador: Prof. João Lourenço
