Towards Automated Memory Model Generation Via Event Tracing

O. F. J. Perks, D. A. Beckingsale, Simon D. Hammond, I. Miller, J. A. Herdman, A. Vadgama, Abhir H. Bhalerao, Ligang He, Stephen A. Jarvis. Towards Automated Memory Model Generation Via Event Tracing. Comput. J., 56(2):156-174, 2013. [doi]

Bibliographies