Core semantics of multithreaded Java. - Jeremy Manson; William W. Pugh (Java Grande, 2001)

The design and verification of Java's memory model. - Jeremy Manson (OOPSLA Companion, 2002)

The Java Memory Model. - Jeremy Manson (2004)

The Java memory model. - Jeremy Manson; William W. Pugh; Sarita V. Adve (POPL, 2005)

Preemptible Atomic Regions for Real-Time Java. - Jeremy Manson; Jason Baker; Antonio Cunei; Suresh Jagannathan; Marek Prochazka; Bin Xin 001; Jan Vitek (RTSS, 2005)

What do high-level memory models mean for transactions? - Dan Grossman; Jeremy Manson; William W. Pugh (Memory System Performance and Correctness, 2006)

Dynamic aspects for runtime fault determination and recovery. - Jeremy Manson; Jan Vitek; Suresh Jagannathan (IPDPS, 2006)