Output details
11 - Computer Science and Informatics
University of Leicester
Return to search
Output 0 of 0 in the submission
Output title
The semantics of x86-CC multiprocessor machine code
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Volume number
-
Issue number
-
First page of article
379
ISSN of proceedings
-
Year of publication
2009
URL
-
Number of additional authors
7
Additional information
<07>This paper, and the general approach to rigorous specification of
low-level memory models that it introduced, influenced subsequent x86
models (e.g. Sewell et al., CACM'10), techniques for reasoning about
these models (Owens, ECOOP'10), work on the C++ memory model
(e.g. Batty et al., POPL'11), and applications (e.g. Sewell et al.,
JACM'13; Morrisett et al., PLDI'12). It is frequently cited in such
contexts. This line of work has also been influential with processor
architects and kernel developers see e.g. the LWN article "Validating memory barriers and atomic instructions" by Paul McKenney (IBM),
http://lwn.net/Articles/470681/
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
53
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
