Author

Jeremy Manson

Observed name: J. Manson

Institution: Purdue University West Lafayette

Observed institutions: Purdue University West Lafayette, University of Maryland, College Park

OpenAlex ID: A5077634907

2005 · Jeremy Manson, William Pugh, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 775

PDF

The Java memory model

2005 · Jeremy Manson, William Pugh, et al. · ACM SIGPLAN Notices · 100

What do high-level memory models mean for transactions?

2006 · Dan Grossman, Jeremy Manson, et al. · 68

Preemptible Atomic Regions for Real-Time Java

2006 · J. Manson, J. Baker, et al. · IEEE Real-Time Systems Symposium (RTSS) · 65

Core semantics of multithreaded Java

2001 · Jeremy Manson, William Pugh · Joint ACM-ISCOPE Conference on Java Grande · 26

Semantics of Multithreaded Java

2001 · Jeremy Manson, William Pugh · 21

A New Approach to the Semantics of Multithreaded Java

2003 · Jeremy Manson · 3

Dynamic aspects for runtime fault determination and recovery

2006 · J. Manson, J. Vitek, et al. · IEEE International Parallel and Distributed Processing Symposium (IPDPS) · 1

The design and verification of Java's memory model

2002 · Jeremy Manson · Companion to the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA Companion) · 1

Works count: 17

Citation count: 1,060

H-index: 6

I10-index: 6