Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 2.
Conference or workshop item
Dodds, Mike and Batty, Mark and Gotsman, Alexey (2018) Compositional Verification of Compiler Optimisations on Relaxed Memory. In: Lecture Notes in Computer Science. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings. Springer ISBN 978-3-319-89883-4. (doi:https://doi.org/10.1007/978-3-319-89884-1_36) (Full text available) |
Batty, Mark and Dodds, Mike and Gotsman, Alexey (2013) Library abstraction for C/C++ concurrency. In: ACM SIGPLAN Notices. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press pp. 235-248. ISBN 978-1-4503-1832-7. (doi:https://doi.org/10.1145/2429069.2429099) (Full text available) |