Verifying C11-style weak memory libraries.

Sadegh Dalvandi Brijesh Dongol

Published in: PPoPP (2021)

Keyphrases

memory usage
digital libraries
real time
memory footprint
memory size
main memory
decision making
computing power
associative memory
model checking
memory requirements
relational databases
learning environment
memory space
multiscale
multimedia
internal memory