REORDER 2013 - Second International Workshop on Memory Consistency Models

The aim of REORDER is to bring together the verification community and
experts from other relevant communities such as processor industry,
computer architecture, programming languages, semantics and concurrency
theory. To achieve this goal, we invite experts in these areas as
speakers to this workshop, and consequently create an opportunity for
experts from other communities to meet with people from the verification
community and discuss the major issues in this area.
Scope
This workshop welcomes participants interested in both hardware-level
and software-level memory models, in formal methods context, including,
but not limited to, the following topics:
- Design and specification of memory consistency models
- Verification of concurrent software wrt relaxed memory orderings
- Testing and verification of memory models wrt hardware
- Compiler transformations and relaxed memory models
- Fence insertion