Jeremy Manson

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Dan Grossman, Jeremy Manson, William Pugh
What do high-level memory models mean for transactions? Memory System Performance and Correctness (2006)
Jeremy Manson, Jan Vitek, Suresh Jagannathan
Dynamic aspects for runtime fault determination and recovery. IPDPS (2006)
Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek
Preemptible Atomic Regions for Real-Time Java. RTSS (2005)
Jeremy Manson, William Pugh, Sarita V. Adve
The Java memory model. POPL (2005)
Jeremy Manson
The design and verification of Java's memory model. OOPSLA Companion (2002)
Jeremy Manson, William Pugh
Core semantics of multithreaded Java. Java Grande (2001)