On Validity of Program Transformations in the Java Memory Model

This publication has 11 references indexed in Scilit:

• Formalising Java’s Data Race Free Guarantee
  Published by Springer Nature ,2007
• A semantics for concurrent separation logic
  Theoretical Computer Science, 2007
• The Java Memory Model: Operationally, Denotationally, Axiomatically
  Published by Springer Nature ,2007
• A fully abstract may testing semantics for concurrent objects
  Theoretical Computer Science, 2005
• The Java memory model
  Published by Association for Computing Machinery (ACM) ,2005
• Improving the Java memory model using CRF
  Published by Association for Computing Machinery (ACM) ,2000
• The Java memory model is fatally flawed
  Concurrency: Practice and Experience, 2000
• Shared memory consistency models: a tutorial
  Computer, 1996
• Global code motion/global value numbering
  ACM SIGPLAN Notices, 1995
• A unified formalization of four shared-memory models
  IEEE Transactions on Parallel and Distributed Systems, 1993