Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 4.

Conference or workshop item

Wickerson, John and Batty, Mark and Sorensen, Tyler and Constantinides, George A. (2017) Automatically Comparing Memory Consistency Models. In: ACM SIGPLAN Notices - POPL '17. POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, New York pp. 190-204. ISBN 978-1-4503-4660-3. (doi:https://doi.org/10.1145/3093333.3009838) (Full text available)

Preview

Batty, Mark and Donaldson, Alastair and Wickerson, John (2016) Overhauling SC atomics in C11 and OpenCL. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 634-648. ISBN 978-1-4503-3549-2. (doi:https://doi.org/10.1145/2837614.2837637) (Full text available)

Preview

Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F. (2015) Remote-scope Promotion: Clarified, Rectified, and Verified. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2015. ACM, New York, USA pp. 731-747. ISBN 978-1-4503-3689-5. (doi:https://doi.org/10.1145/2814270.2814283) (Full text available)

Preview

Alglave, Jade and Batty, Mark and Donaldson, Alastair F. and Gopalakrishnan, Ganesh and Ketema, Jeroen and Poetzl, Daniel and Sorensen, Tyler and Wickerson, John (2015) GPU Concurrency: Weak Behaviours and Programming Assumptions. In: ACM SIGPLAN Notices. Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015. ACM Press pp. 577-591. ISBN 978-1-4503-2835-7. (doi:https://doi.org/10.1145/2694344.2694391) (Full text available)

Preview

This list was generated on Mon May 20 05:25:53 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0