Memory-Model-Sensitive Data Race Analysis

This publication has 31 references indexed in Scilit:

• QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
  Published by Springer Nature ,2004
• Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
  Published by Springer Nature ,2003
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Efficient Inference of Static Types for Java Bytecode
  Published by Springer Nature ,2000
• Detecting races in relay ladder logic programs
  Published by Springer Nature ,1998
• Eraser
  ACM Transactions on Computer Systems, 1997
• Shared memory consistency models: a tutorial
  Computer, 1996
• A unified formalization of four shared-memory models
  IEEE Transactions on Parallel and Distributed Systems, 1993
• What are race conditions?
  ACM Letters on Programming Languages and Systems, 1992
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978