Debugging programs that use atomic blocks and transactional memory | Publicación