The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Detlefs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. David Detlefs
    Garbage Collection and Run-time Typing as a C++ Library. [Citation Graph (0, 0)][DBLP]
    C++ Conference, 1992, pp:37-56 [Conf]
  3. David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing
    Avalon/C++. [Citation Graph (0, 0)][DBLP]
    C++ Workshop, 1987, pp:451-459 [Conf]
  4. John R. Ellis, David Detlefs
    Safe, Efficient Garbage Collection for C++. [Citation Graph (0, 0)][DBLP]
    C++ Conference, 1994, pp:143-178 [Conf]
  5. V. Krishna Nandivada, David Detlefs
    Compile-Time Concurrent Marking Write Barrier Removal. [Citation Graph (0, 0)][DBLP]
    CGO, 2005, pp:37-48 [Conf]
  6. David Detlefs, Bill Kaslow
    Debugging Storage Management Problems in Garbage-Collected Environments. [Citation Graph (0, 0)][DBLP]
    COOTS, 1995, pp:- [Conf]
  7. David Detlefs, Ole Agesen
    Inlining of Virtual Methods. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:258-278 [Conf]
  8. David Detlefs
    A Hard Look at Hard Real-Time Garbage Collection. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:23-32 [Conf]
  9. Tony Printezis, David Detlefs
    A Generational Mostly-Concurrent Garbage Collector. [Citation Graph (0, 0)][DBLP]
    ISMM, 2000, pp:143-154 [Conf]
  10. David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis
    Garbage-first garbage collection. [Citation Graph (0, 0)][DBLP]
    ISMM, 2004, pp:37-48 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002