Reasoning about the ARM weakly consistent memory model

Nathan Chong, Samin Ishtiaq. Reasoning about the ARM weakly consistent memory model. In Emery D. Berger, Brad Chen, editors, Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 08), Seattle, Wa. pages 16-19, ACM, 2008. [doi]

Authors

Nathan Chong

This author has not been identified. It may be one of the following persons: Look up 'Nathan Chong' in Google

Samin Ishtiaq

This author has not been identified. Look up 'Samin Ishtiaq' in Google