New workshop paper accepted at TRANSACT 2017

Towards White-Box Modeling of Hardware Transactional Memory Systems Daniel Castro, Diego Didona and Paolo Romano