|
Search the dblp DataBase
David Detlefs:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Detlefs, Maurice Herlihy, Jeannette M. Wing
Inheritance of Synchronization and Recovery Properties in Avalon/C++. [Citation Graph (7, 0)][DBLP] IEEE Computer, 1988, v:21, n:12, pp:57-69 [Journal]
- David Detlefs
Garbage Collection and Run-time Typing as a C++ Library. [Citation Graph (0, 0)][DBLP] C++ Conference, 1992, pp:37-56 [Conf]
- David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing
Avalon/C++. [Citation Graph (0, 0)][DBLP] C++ Workshop, 1987, pp:451-459 [Conf]
- John R. Ellis, David Detlefs
Safe, Efficient Garbage Collection for C++. [Citation Graph (0, 0)][DBLP] C++ Conference, 1994, pp:143-178 [Conf]
- V. Krishna Nandivada, David Detlefs
Compile-Time Concurrent Marking Write Barrier Removal. [Citation Graph (0, 0)][DBLP] CGO, 2005, pp:37-48 [Conf]
- David Detlefs, Bill Kaslow
Debugging Storage Management Problems in Garbage-Collected Environments. [Citation Graph (0, 0)][DBLP] COOTS, 1995, pp:- [Conf]
- David Detlefs, Ole Agesen
Inlining of Virtual Methods. [Citation Graph (0, 0)][DBLP] ECOOP, 1999, pp:258-278 [Conf]
- David Detlefs
A Hard Look at Hard Real-Time Garbage Collection. [Citation Graph (0, 0)][DBLP] ISORC, 2004, pp:23-32 [Conf]
- Tony Printezis, David Detlefs
A Generational Mostly-Concurrent Garbage Collector. [Citation Graph (0, 0)][DBLP] ISMM, 2000, pp:143-154 [Conf]
- David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis
Garbage-first garbage collection. [Citation Graph (0, 0)][DBLP] ISMM, 2004, pp:37-48 [Conf]
- David Detlefs, Ross Knippel, William D. Clinger, Matthias Jacob
Concurrent Remembered Set Refinement in Generational Garbage Collection. [Citation Graph (0, 0)][DBLP] Java Virtual Machine Research and Technology Symposium, 2002, pp:13-26 [Conf]
- Christine H. Flood, David Detlefs, Nir Shavit, Xiolan Zhang
Parallel Garbage Collection for Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP] Java Virtual Machine Research and Technology Symposium, 2001, pp:- [Conf]
- Ole Agesen, David Detlefs, Alex Garthwaite, Ross Knippel, Y. S. Ramakrishna, Derek White
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization. [Citation Graph (0, 0)][DBLP] OOPSLA, 1999, pp:207-222 [Conf]
- Kenneth Russell, David Detlefs
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. [Citation Graph (0, 0)][DBLP] OOPSLA, 2006, pp:263-272 [Conf]
- Ole Agesen, David Detlefs, J. Eliot B. Moss
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. [Citation Graph (0, 0)][DBLP] PLDI, 1998, pp:269-279 [Conf]
- David Detlefs, Paul A. Martin, Mark Moir, Guy L. Steele Jr.
Lock-free reference counting. [Citation Graph (0, 0)][DBLP] PODC, 2001, pp:190-199 [Conf]
- David Detlefs, Randy Forgaard
A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules. [Citation Graph (0, 0)][DBLP] RTA, 1985, pp:255-270 [Conf]
- Ole Agesen, David Detlefs, Christine H. Flood, Alex Garthwaite, Paul A. Martin, Nir Shavit, Guy L. Steele Jr.
DCAS-based concurrent deques. [Citation Graph (0, 0)][DBLP] SPAA, 2000, pp:137-146 [Conf]
- Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS is not a silver bullet for nonblocking algorithm design. [Citation Graph (0, 0)][DBLP] SPAA, 2004, pp:216-224 [Conf]
- David Detlefs, Christine H. Flood, Alex Garthwaite, Paul A. Martin, Nir Shavit, Guy L. Steele Jr.
Even Better DCAS-Based Concurrent Deques. [Citation Graph (0, 0)][DBLP] DISC, 2000, pp:59-73 [Conf]
- David Detlefs, Paul A. Martin, Mark Moir, Guy L. Steele Jr.
Lock-free reference counting. [Citation Graph (0, 0)][DBLP] Distributed Computing, 2002, v:15, n:4, pp:255-271 [Journal]
- David Detlefs, Greg Nelson, James B. Saxe
Simplify: a theorem prover for program checking. [Citation Graph (0, 0)][DBLP] J. ACM, 2005, v:52, n:3, pp:365-473 [Journal]
- Ole Agesen, David Detlefs, Christine H. Flood, Alexander T. Garthwaite, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS-Based Concurrent Deques. [Citation Graph (0, 0)][DBLP] Theory Comput. Syst., 2002, v:35, n:3, pp:349-386 [Journal]
- David Detlefs, Al Dosser, Benjamin G. Zorn
Memory Allocation Costs in Large C and C++ Programs. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1994, v:24, n:6, pp:527-542 [Journal]
Search in 0.021secs, Finished in 0.023secs
|