Automatically comparing memory consistency models
DOI10.1145/3009837.3009838zbMath1380.68110OpenAlexW2553522901MaRDI QIDQ5370855
George A. Constantinides, John Wickerson, Mark Batty, Tyler Sorensen
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/63503/19/memalloy.pdf
OpenCLmodel checkingprogram synthesisconstraint solvingweak memory modelsC/C++shared memory concurrencygraphics processor (GPU)
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Uses Software
This page was built for publication: Automatically comparing memory consistency models