Concepedia

David Detlefs

DD

29

Publications

2.3K

Citations

22

H-Index

1988

Active since

Affiliations

Oracle (United States)(Current)

Microsystems (United Kingdom)

Carnegie Mellon University

Tel Aviv University

Moscow Institute of Thermal Technology

David Detlefs is an author at Oracle (United States) specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisComputer ArchitectureComputer EngineeringParallel ComputingParallel ProgrammingSystem Software

Publications per year

1988–2006

29

Publications

29

Simplify: a theorem prover for program checking

David Detlefs, Greg Nelson, James B. Saxe · Journal of the ACM · 2005 · 772 citations

Program Checking, Engineering, Automated Reasoning +15

Garbage-first garbage collection

David Detlefs, Christine H. Flood, Steve Heller et al. · 2004 · 214 citations

Engineering, High Throughput, Garbage-first Garbage Collection +17

Inheritance of synchronization and recovery properties in Avalon/C++

David Detlefs, Maurice Herlihy, J.M. Wing · Computer · 1988 · 116 citations · Full text

Engineering, Software Systems, Asynchronous Systems +17

A generational mostly-concurrent garbage collector

Tony Printezis, David Detlefs · 2000 · 108 citations

Java™ Programming Language, Generational Garbage Collection, Engineering +20

Parallel garbage collection for shared memory multiprocessors

Christine H. Flood, David Detlefs, Nir Shavit et al. · 2001 · 106 citations

Rows per page

1–5 of 29