Conference icon

Conference

The Virtues of Conflict: Analysing Modern Concurrency

Abstract:

Modern shared memory multiprocessors permit reordering of memory operations for performance reasons. These reorderings are often a source of subtle bugs in programs written for such architectures. Traditional approaches to verify weak memory programs often rely on interleaving semantics, which is prone to state space explosion, and thus severely limits the scalability of the analysis. In recent times, there has been a renewed interest in modelling dynamic executions of weak memory programs us...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/2851141.2851165

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More from this funder
Funding agency for:
Narayanswamy, G
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2016-02-27
DOI:
URN:
uuid:dd62999c-614d-46ff-a773-2b543398a3a6
Source identifiers:
602186
Local pid:
pubs:602186
ISBN:
978-1-4503-4092-2

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP