David Detlefs

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

Coauthor Index

1	Ole Agesen	[8] [9] [10] [11] [16]
2	William D. Clinger	[18]
3	Simon Doherty	[19]
4	Al Dosser	[5]
5	John R. Ellis	[6]
6	Christine H. Flood	[11] [13] [15] [16] [19] [21]
7	Randy Forgaard	[1]
8	Alex Garthwaite (Alexander T. Garthwaite)	[9] [11] [13] [16]
9	Lindsay Groves	[19]
10	Steve Heller	[21]
11	Maurice Herlihy	[2] [3]
12	Matthias Jacob	[18]
13	Bill Kaslow	[7]
14	K. Kietzke	[2]
15	Ross Knippel	[9] [18]
16	Victor Luchangco	[19]
17	Paul A. Martin	[11] [13] [14] [16] [17] [19]
18	Mark Moir	[14] [16] [17] [19]
19	J. Eliot B. Moss	[8]
20	V. Krishna Nandivada	[23]
21	Greg Nelson	[22]
22	Tony Printezis	[12] [21]
23	Y. S. Ramakrishna	[9]
24	Kenneth Russell	[24]
25	James B. Saxe	[22]
26	Nir Shavit	[11] [13] [15] [16] [19]
27	Guy L. Steele Jr.	[11] [13] [14] [16] [17] [19]
28	Derek White	[9]
29	Jeannette M. Wing	[2] [3]
30	Xiolan Zhang	[15]
31	Benjamin G. Zorn	[5]

Colors in the list of coauthors