Safety of Deferred Update in Transactional Memory | IEEE Conference Publication | IEEE Xplore