TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory
On Validity of Program Transformations in the Java Memory Model