Statistics
Publications
29
Citations
2.4K
H-Index
22
Active since
1988
David Detlefs is an author at Oracle (United States) specializing in computer science, computing, and computer engineering.
Publications per year
1988–2018
29
29
Simplify: a theorem prover for program checking
David Detlefs, Greg Nelson, James B. Saxe · Journal of the ACM · 2005 · 781 citations
Garbage-first garbage collection
David Detlefs, Christine H. Flood, Steve Heller et al. · 2004 · 217 citations
Inheritance of synchronization and recovery properties in Avalon/C++
David Detlefs, Maurice Herlihy, J.M. Wing · Computer · 1988 · 116 citations · Full text
A generational mostly-concurrent garbage collector
Tony Printezis, David Detlefs · 2000 · 108 citations
Parallel garbage collection for shared memory multiprocessors
Christine H. Flood, David Detlefs, Nir Shavit et al. · 2001 · 106 citations
1–5 of 29