Output details
11 - Computer Science and Informatics
University of St Andrews
Return to search
Output 0 of 0 in the submission
Article title
x86-TSO : A Rigorous and Usable Programmer's Model for x86 Multiprocessors
Type
D - Journal article
Title of journal
Communications of the ACM
Article number
-
Volume number
53
Issue number
7
First page of article
89
ISSN of journal
0001-0782
Year of publication
2010
URL
-
Number of additional authors
4
Additional information
<08>CACM is the leading publication of ACM, with a readership of over 100,000. The Research Highlights section consists of nominated papers "select(ing) the best research material coming out of conferences and share that information with the wide readership of CACM". Indeed, "nomination is itself an honour". This is now the standard reference of x86 (Intel/AMD) multicore programming model. From the technical perspective: This paper "expose(s) new issues not currently addressed by the manufacturers' specifications". This simplifies and updates a POPL'09 paper, (itself a premier venue in programming languages.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming languages
Citation count
54
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
