Jeremy Manson

According to our database, Jeremy Manson authored at least 7 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Dynamic aspects for runtime fault determination and recovery.

Jeremy Manson, Jan Vitek, Suresh Jagannathan

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

What do high-level memory models mean for transactions?

Dan Grossman, Jeremy Manson, William W. Pugh

Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

2005

Preemptible Atomic Regions for Real-Time Java.

Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

The Java memory model.

Jeremy Manson, William W. Pugh, Sarita V. Adve

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

The Java Memory Model.

Jeremy Manson

PhD thesis, 2004

2002

The design and verification of Java's memory model.

Jeremy Manson

Proceedings of the Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, 2002

2001

Core semantics of multithreaded Java.

Jeremy Manson, William W. Pugh

Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, 2001