Litmus tests for comparing memory consistency models

by Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin

Published in Design Automation Conference by ACM Press.

2011 p504-509

application/pdf 317.2 kB `file_rff6nrnucvepndn5y7kesmiwdy`
application/pdf 352.2 kB `file_y7vab2h6urbdlgnpnly2myvdnu`	repository.upenn.edu:80 (web) web.archive.org (webarchive)
application/pdf 334.3 kB `file_gf4lc6qhirfcbjgx7uelr4mz3y`	acg.cis.upenn.edu (web) web.archive.org (webarchive) web.archive.org (webarchive) www.cis.upenn.edu (web) web.archive.org (webarchive) + 6 more URLs
application/pdf 289.3 kB `file_e7p7qavgcfau7lt3rryyrafrku`	web.archive.org (webarchive) repository.upenn.edu (web)

Preserved and Accessible

Type paper-conference
Stage

published

Year 2011

DOI 10.1145/2024724.2024842
dblp conf/dac/Mador-HaimAM11

Container Metadata
Not in DOAJ
Not in Keepers Registry

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: db3e797d-ea6d-49c1-b757-24e37fbdf715
API URL: JSON

Litmus tests for comparing memory consistency models how long do they need to be? release_igdjt6hcj5dbrm3qriog3je6ku