TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics