David Detlefs

25 papers A* 2A 5B 2C 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2006 A conf
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing.
OOPSLA
Kenneth B. Russell, David Detlefs
2005 A conf
Compile-Time Concurrent Marking Write Barrier Removal.
CGO
V. Krishna Nandivada, David Detlefs
2005 J jnl
Simplify: a theorem prover for program checking.
J. ACM
David Detlefs, Greg Nelson, James B. Saxe
2004 C conf
A Hard Look at Hard Real-Time Garbage Collection.
ISORC
David Detlefs
2004 B conf
DCAS is not a silver bullet for nonblocking algorithm design.
SPAA
Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
2004 C conf
Garbage-first garbage collection.
ISMM
David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis
2002 — conf
Concurrent Remembered Set Refinement in Generational Garbage Collection.
Java Virtual Machine Research and Technology Symposium
David Detlefs, Ross C. Knippel, William D. Clinger, Matthias Jacob
2002 J jnl
DCAS-Based Concurrent Deques.
Theory Comput. Syst.
Ole Agesen, David Detlefs, Christine H. Flood, Alexander T. Garthwaite, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
2002 J jnl
Lock-free reference counting.
Distributed Comput.
David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.
2002 — ed.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany
MSP/ISMM
Hans-Juergen Boehm, David Detlefs
2001 A* conf
Lock-free reference counting.
PODC
David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.
2001 — conf
Parallel Garbage Collection for Shared Memory Multiprocessors.
Java Virtual Machine Research and Technology Symposium
Christine H. Flood, David Detlefs, Nir Shavit, Xiolan Zhang
2000 C conf
A Generational Mostly-Concurrent Garbage Collector.
ISMM
Tony Printezis, David Detlefs
2000 B conf
DCAS-based concurrent deques.
SPAA
Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.
2000 A conf
Even Better DCAS-Based Concurrent Deques.
DISC
David Detlefs, Christine H. Flood, Alex Garthwaite, Paul Alan Martin, Nir Shavit, Guy L. Steele Jr.
1999 A conf
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.
OOPSLA
Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White
1999 A conf
Inlining of Virtual Methods.
ECOOP
David Detlefs, Ole Agesen
1998 A* conf
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines.
PLDI
Ole Agesen, David Detlefs, J. Eliot B. Moss
1995 — conf
Debugging Storage Management Problems in Garbage-Collected Environments.
COOTS
David Detlefs, Bill Kaslow
1994 J jnl
Memory Allocation Costs in Large C and C++ Programs.
Softw. Pract. Exp.
David Detlefs, Al Dosser, Benjamin G. Zorn
1994 — conf
Safe, Efficient Garbage Collection for C++.
C++ Conference
John R. Ellis, David Detlefs
1992 — conf
Garbage Collection and Run-time Typing as a C++ Library.
C++ Conference
David Detlefs
1988 J jnl
Inheritance of Synchronization and Recovery Properties in Avalon/C++.
Computer
David Detlefs, Maurice Herlihy, Jeannette M. Wing
1987 — conf
Avalon/C++.
C++ Workshop
David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing
1985 — conf
A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules.
RTA
David Detlefs, Randy Forgaard