CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.
Jaroslav SevcíkViktor VafeiadisFrancesco Zappa NardelliSuresh JagannathanPeter SewellPublished in: J. ACM (2013)
Keyphrases
- programming language
- level parallelism
- software systems
- high level programming languages
- optimal solution
- computing power
- memory requirements
- computational power
- concurrency control
- database systems
- operating system
- transaction processing
- general purpose
- memory management
- memory size
- distributed memory machines
- database
- concurrency control protocols
- concurrent programming
- neural network