Research data supporting “Mixed-size Concurrency: ARM, POWER, C/C++11, and SC”
Repository URI
Repository DOI
Change log
Authors
Description
Supplementary material for Mixed-size Concurrency: ARM, POWER, C/C++11, and SC
Version
Software / Usage instructions
emacs
Keywords
relaxed memory models, mixed-size, semantics, ISA
Publisher
University of Cambridge
Sponsorship
EPSRC [EP/K008528/1, EP/M027317/1], ARM iCASE award, Gates Cambridge Scholarship, ANR grant WMC [ANR-11-JS02-011]