Jeremy Manson

Semantics of Multithreaded Java

William Pugh, Jeremy Manson, 2001 .

Dynamic aspects for runtime fault determination and recovery

Jan Vitek, Suresh Jagannathan, Jeremy Manson, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

What do high-level memory models mean for transactions?

Dan Grossman, William Pugh, Jeremy Manson, 2006, MSPC '06.

The design and verification of Java's memory model

Jeremy Manson, 2002, OOPSLA '02.

Core semantics of multithreaded Java

William Pugh, Jeremy Manson, 2001, JGI '01.

Preemptible atomic regions for real-time Java

Jan Vitek, Suresh Jagannathan, Jeremy Manson, 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

A New Approach to the Semantics of Multithreaded Java

Jeremy Manson, 2003 .

The Java memory model

Jeremy Manson, Jeremy Manson, 2005, POPL '05.

Requirements for Programming Language Memory Models

William Pugh, Jeremy Manson, 2004 .

JSR-133: Java Memory Model and Thread Specification

Jeremy Manson, Bill Pugh, B. Pugh, 2003 .

The Java Memory Model Simulator

William Pugh, Jeremy Manson, W. Pugh, 2002 .