Output details
11 - Computer Science and Informatics
University of York
Output title
Library abstraction for C/C++ concurrency
Type
E - Conference contribution
Name of conference/published proceedings
POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Volume number
-
Issue number
-
First page of article
235
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
2
Additional information
<10>This paper defined the first criterion for library abstraction suitable
for the new 2011 C/C++ relaxed-memory primitives. This makes it possible
for the first time to define rigorous, sound abstract specifications for
libraries in concurrent C11 and C++11. More generally, it lifted the
standard notion of linearisability to an axiomatic, partially-ordered
model, and showed that the standard observational results still hold in
such a setting. Relaxed and partially-ordered systems are becoming
ubiquitous, and this work paves the way to proving the correctness of
algorithms in such systems.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Integrity Systems Engineering
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-