Automatically comparing memory consistency models (2017)
Attributed to:
PRiME: Power-efficient, Reliable, Many-core Embedded systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1145/3093333.3009838
Publication URI: http://cas.ee.ic.ac.uk/people/gac1/pubs/JohnPOPL17.pdf
Type: Journal Article/Review
Parent Publication: ACM SIGPLAN Notices
Issue: 1