Concepedia

Author

David Detlefs

Oracle (United States)

Also Known As

D. Detlefs, D.L. Detlefs, David Detlefs, David L. Detlefs, Detlefs, David L.

42

Publications

2.6K

Citations

24

H-Index

43

Concepts

All Affiliations

Oracle (United States)Microsystems (United Kingdom)Carnegie Mellon UniversityTel Aviv UniversityMoscow Institute of Thermal Technology
DD

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

17

21

2.1K

2

Computer Science

17

21

2.1K

3

Computer Engineering

13

14

960

4

Systems Engineering

5

5

220

5

Athletic Training

1

1

73

David Detlefs

×

29

Publications

2.3K

Citations

22

H-Index

YearCitations

Simplify: a theorem prover for program checking

David Detlefs, Greg Nelson, James B. Saxe

Journal of the ACM

2005

772

Garbage-first garbage collection

David Detlefs, Christine H. Flood, Steve Heller,

2004

214

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

David Detlefs, Maurice Herlihy, J.M. Wing

Computer

1988

116

A generational mostly-concurrent garbage collector

Tony Printezis, David Detlefs

2000

108

Parallel garbage collection for shared memory multiprocessors

Christine H. Flood, David Detlefs, Nir Shavit,

2001

106

Memory allocation costs in large C and C++ programs

David Detlefs, Al Dosser, Benjamin G. Zorn

Software Practice and Experience

1994

105

An efficient meta-lock for implementing ubiquitous synchronization

Ole Agesen, David Detlefs, Alex Garthwaite,

1999

92

Garbage collection and local variable type-precision and liveness in Java virtual machines

Ole Agesen, David Detlefs, J. Eliot B. Moss

1998

85

DCAS is not a silver bullet for nonblocking algorithm design

Simon Doherty, David Detlefs, Lindsay Groves,

2004

82

Lock-free reference counting

David Detlefs, Paul Martin, Mark Moir,

2001

78

Page 1