TRADE: Precise Dynamic Race Detection for Scalable Transactional Memory Systems

Journal 2015