Implementation of Intel Restricted Transactional Memory ISA Extension in Simics. - Grigory Rechistov; Arnold Plotkin (ICCS, 2013)