Lightweight monitoring of transactional memory programs - Martins, João Miguel Castanheira (2013)