tm_db: A Generic Debugging Library for Transactional Programs | IEEE Conference Publication | IEEE Xplore