David Detlefs

According to our database, David Detlefs authored at least 23 papers between 1985 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2006

Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing.

Kenneth B. Russell, David Detlefs

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Simplify: a theorem prover for program checking.

David Detlefs, Greg Nelson, James B. Saxe

J. ACM, 2005

Compile-Time Concurrent Marking Write Barrier Removal.

V. Krishna Nandivada, David Detlefs

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

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.

Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

Garbage-first garbage collection.

David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis

Proceedings of the 4th International Symposium on Memory Management, 2004

A Hard Look at Hard Real-Time Garbage Collection.

David Detlefs

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

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

Lock-free reference counting.

David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.

Distributed Comput., 2002

Concurrent Remembered Set Refinement in Generational Garbage Collection.

David Detlefs, Ross C. Knippel, William D. Clinger, Matthias Jacob

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

2001

Parallel Garbage Collection for Shared Memory Multiprocessors.

Christine H. Flood, David Detlefs, Nir Shavit, Xiolan Zhang

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

2000

Even Better DCAS-Based Concurrent Deques.

David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.

Proceedings of the Distributed Computing, 14th International Conference, 2000

DCAS-based concurrent deques.

Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.

Proceedings of the Twelfth annual ACM Symposium on Parallel Algorithms and Architectures, 2000

A Generational Mostly-Concurrent Garbage Collector.

Tony Printezis, David Detlefs

Proceedings of the ISMM 2000, 2000

1999

An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.

Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Inlining of Virtual Methods.

David Detlefs, Ole Agesen

Proceedings of the ECOOP'99, 1999

1998

Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines.

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

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1995

Debugging Storage Management Problems in Garbage-Collected Environments.

David Detlefs, Bill Kaslow

Proceedings of the USENIX Conference on Object-Oriented Technologies, 1995

1994

Memory Allocation Costs in Large C and C++ Programs.

David Detlefs, Al Dosser, Benjamin G. Zorn

Softw. Pract. Exp., 1994

Safe, Efficient Garbage Collection for C++.

John R. Ellis, David Detlefs

Proceedings of the C++ Conference. Cambridge, MA, USA, April 1994, 1994

1992

Garbage Collection and Run-time Typing as a C++ Library.

David Detlefs

Proceedings of the C++ Conference. Portland, OR, USA, August 1992, 1992

1988

Inheritance of Synchronization and Recovery Properties in Avalon/C++.

David Detlefs, Maurice Herlihy, Jeannette M. Wing

Computer, 1988

1987

Avalon/C++.

David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing

Proceedings of the C++ Workshop. Santa Fe, NM, USA, November 1987, 1987

1985

A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules.

David Detlefs, Randy Forgaard

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985