David Detlefs

	2006
25		Kenneth Russell, David Detlefs: Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. OOPSLA 2006: 263-272
	2005
24		V. Krishna Nandivada, David Detlefs: Compile-Time Concurrent Marking Write Barrier Removal. CGO 2005: 37-48
23		David Detlefs, Greg Nelson, James B. Saxe: Simplify: a theorem prover for program checking. J. ACM 52(3): 365-473 (2005)
	2004
22		David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis: Garbage-first garbage collection. ISMM 2004: 37-48
21		David Detlefs: A Hard Look at Hard Real-Time Garbage Collection. ISORC 2004: 23-32
20		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
19		Hans-Juergen Boehm, David Detlefs: 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 ACM 2002
18		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		David Detlefs, Paul A. Martin, Mark Moir, Guy L. Steele Jr.: Lock-free reference counting. Distributed Computing 15(4): 255-271 (2002)
16		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		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		David Detlefs, Paul A. Martin, Mark Moir, Guy L. Steele Jr.: Lock-free reference counting. PODC 2001: 190-199
	2000
13		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		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		David Detlefs, Ole Agesen: Inlining of Virtual Methods. ECOOP 1999: 258-278
9		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		David Detlefs, Bill Kaslow: Debugging Storage Management Problems in Garbage-Collected Environments. COOTS 1995
	1994
6		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	Hans-Juergen Boehm	[19]
3	William D. Clinger	[18]
4	Simon Doherty	[20]
5	Al Dosser	[5]
6	John R. Ellis	[6]
7	Christine H. Flood	[11] [13] [15] [16] [20] [22]
8	Randy Forgaard	[1]
9	Alex Garthwaite (Alexander T. Garthwaite)	[9] [11] [13] [16]
10	Lindsay Groves	[20]
11	Steve Heller	[22]
12	Maurice Herlihy	[2] [3]
13	Matthias Jacob	[18]
14	Bill Kaslow	[7]
15	K. Kietzke	[2]
16	Ross Knippel	[9] [18]
17	Victor Luchangco	[20]
18	Paul A. Martin	[11] [13] [14] [16] [17] [20]
19	Mark Moir	[14] [16] [17] [20]
20	J. Eliot B. Moss	[8]
21	V. Krishna Nandivada	[24]
22	Greg Nelson	[23]
23	Tony Printezis	[12] [22]
24	Y. S. Ramakrishna	[9]
25	Kenneth Russell	[25]
26	James B. Saxe	[23]
27	Nir Shavit	[11] [13] [15] [16] [20]
28	Guy L. Steele Jr.	[11] [13] [14] [16] [17] [20]
29	Derek White	[9]
30	Jeannette M. Wing	[2] [3]
31	Xiolan Zhang	[15]
32	Benjamin G. Zorn	[5]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page