A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules. - David Detlefs; Randy Forgaard (RTA, 1985)

Avalon/C++. - David Detlefs; Maurice Herlihy; K. Kietzke; Jeannette M. Wing (C++ Workshop, 1987)

Inheritance of Synchronization and Recovery Properties in Avalon/C++. - David Detlefs; Maurice Herlihy; Jeannette M. Wing (Computer, 1988)

Garbage Collection and Run-time Typing as a C++ Library. - David Detlefs (C++ Conference, 1992)

Safe, Efficient Garbage Collection for C++. - John R. Ellis; David Detlefs (C++ Conference, 1994)

Memory Allocation Costs in Large C and C++ Programs. - David Detlefs; Al Dosser; Benjamin G. Zorn (Softw. Pract. Exp., 1994)

Debugging Storage Management Problems in Garbage-Collected Environments. - David Detlefs; Bill Kaslow (COOTS, 1995)

Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. - Ole Agesen; David Detlefs; J. Eliot B. Moss (PLDI, 1998)

Inlining of Virtual Methods. - David Detlefs; Ole Agesen (ECOOP, 1999)

An Efficient Meta-Lock for Implementing Ubiquitous Synchronization. - Ole Agesen; David Detlefs; Alex Garthwaite; Ross C. Knippel; Y. S. Ramakrishna; Derek White (OOPSLA, 1999)

A Generational Mostly-Concurrent Garbage Collector. - Tony Printezis; David Detlefs (ISMM, 2000)

DCAS-based concurrent deques. - Ole Agesen; David Detlefs; Christine H. Flood; Alex Garthwaite; Paul Alan Martin; Nir Shavit; Guy L. Steele Jr. (SPAA, 2000)

Even Better DCAS-Based Concurrent Deques. - David Detlefs; Christine H. Flood; Alex Garthwaite; Paul Alan Martin; Nir Shavit; Guy L. Steele Jr. (DISC, 2000)

Parallel Garbage Collection for Shared Memory Multiprocessors. - Christine H. Flood; David Detlefs; Nir Shavit; Xiolan Zhang (Java Virtual Machine Research and Technology Symposium, 2001)

Concurrent Remembered Set Refinement in Generational Garbage Collection. - David Detlefs; Ross C. Knippel; William D. Clinger; Matthias Jacob (Java Virtual Machine Research and Technology Symposium, 2002)

Lock-free reference counting. - David Detlefs; Paul Alan Martin; Mark Moir; Guy L. Steele Jr. (Distributed Comput., 2002)

DCAS-Based Concurrent Deques. - Ole Agesen; David Detlefs; Christine H. Flood; Alexander T. Garthwaite; Paul Alan Martin; Mark Moir; Nir Shavit; Guy L. Steele Jr. (Theory Comput. Syst., 2002)

A Hard Look at Hard Real-Time Garbage Collection. - David Detlefs (ISORC, 2004)

Garbage-first garbage collection. - David Detlefs; Christine H. Flood; Steve Heller; Tony Printezis (ISMM, 2004)

DCAS is not a silver bullet for nonblocking algorithm design. - Simon Doherty; David Detlefs; Lindsay Groves; Christine H. Flood; Victor Luchangco; Paul Alan Martin; Mark Moir; Nir Shavit; Guy L. Steele Jr. (SPAA, 2004)

Compile-Time Concurrent Marking Write Barrier Removal. - V. Krishna Nandivada; David Detlefs (CGO, 2005)

Simplify: a theorem prover for program checking. - David Detlefs; Greg Nelson; James B. Saxe (J. ACM, 2005)

Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. - Kenneth B. Russell; David Detlefs (OOPSLA, 2006)