Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
Abstract elided by the publisher.
Related papers
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Data and Computation Transformations for Multiprocessors PPoPP 1995
- Efficient and Correct Execution of Parallel Programs that Share Memory TOPLAS 1988
- Implementing an Irregular Application on a Distributed Memory Multiprocessor PPoPP 1993
- Memory, an elusive abstraction ISMM 2010
- Shared memory multiprocessor support for functional array processing in SAC JFP 2005
- Software Verification for Weak Memory via Program Transformation ESOP 2013
- The semantics of x86-CC multiprocessor machine code POPL 2009