6
Publications
992
Citations
6
H-Index
2001
Active since
Jeremy Manson is an author at University of Maryland, College Park specializing in system software, formal methods, and engineering.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringComputer ArchitectureCompilersSoftware Analysis
Publications per year
2001–2006
6
6
Jeremy Manson, William Pugh, Sarita V. Adve · 2005 · 724 citations
Engineering, Computer Architecture, Software Engineering +20
Jeremy Manson, William Pugh, Sarita V. Adve · ACM SIGPLAN Notices · 2005 · 90 citations
Engineering, Computer Architecture, Software Engineering +20
Preemptible Atomic Regions for Real-Time Java
Jeremy Manson, Jason D. Baker, Antonio Cunei et al. · 2006 · 63 citations
Engineering, Computer Architecture, Preemptible Atomic Regions +19
Core semantics of multithreaded Java
Jeremy Manson, William Pugh · 2001 · 27 citations
Rows per page
1–5 of 6