Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 3.
Conference or workshop item
| Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M. K. and Sewell, Peter and Williams, Derek (2012) An Axiomatic Memory Model for POWER Multiprocessors. In: Computer Aided Verification. 24th International Conference, CAV 2012 Proceedings. Lecture Notes in Computer Science, 7358. Springer pp. 495-512. ISBN 978-3-642-31423-0. (doi:https://doi.org/10.1007/978-3-642-31424-7_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: PLDI '12 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. ACM Press, New York, N.Y. pp. 311-322. ISBN 978-1-4503-1205-9. (doi:https://doi.org/10.1145/2254064.2254102) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek (2012) Synchronising C/C++ and POWER. In: ACM SIGPLAN Notices. ACM Press pp. 311-322. ISBN 978-1-4503-1205-9. (doi:https://doi.org/10.1145/2254064.2254102) (Full text available) |
|
