(03/09/2004) A Draft Preliminary Report "Concurrent
Constraint-based Memory Machines: A Framework for Java Memory Models"
is now available It provides a framework for the task of developing the
Java Memory Model.

Some Older Papers

Because of various requests, I am slowly bringing my older papers online here.