QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings

This publication has 14 references indexed in Scilit:

• Nemos: a framework for axiomatic and executable specifications of memory consistency models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• The complexity of verifying memory coherence
  Published by Association for Computing Machinery (ACM) ,2003
• Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
  Published by Springer Nature ,2003
• Towards a formal model of shared memory consistency for Intel Itanium/sup TM/
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using Lamport clocks to reason about relaxed memory models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• Testing Shared Memories
  SIAM Journal on Computing, 1997
• Shared memory consistency models: a tutorial
  Computer, 1996
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940