BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Portugal
2 × Canada
4 × USA
Collaborated with:
O.Agesen T.Printezis K.Russell V.K.Nandivada R.Forgaard J.E.B.Moss C.H.Flood S.Heller A.Garthwaite R.Knippel Y.S.Ramakrishna D.White
Talks about:
garbag (4) synchron (2) virtual (2) concurr (2) collect (2) lock (2) implement (1) collector (1) procedur (1) variabl (1)

Person: David Detlefs

DBLP DBLP: Detlefs:David

Facilitated 1 volumes:

ISMM 2002Ed

Contributed to:

OOPSLA 20062006
CGO 20052005
ISMM 20042004
ISMM 20002000
ECOOP 19991999
OOPSLA 19991999
PLDI 19981998
RTA 19851985

Wrote 8 papers:

Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing (KR, DD), pp. 263–272.
CGO-2005-NandivadaD #concurrent
Compile-Time Concurrent Marking Write Barrier Removal (VKN, DD), pp. 37–48.
ISMM-2004-DetlefsFHP #garbage collection
Garbage-first garbage collection (DD, CHF, SH, TP), pp. 37–48.
ISMM-2000-PrintezisD #garbage collection
A Generational Mostly-Concurrent Garbage Collector (TP, DD), pp. 143–154.
Inlining of Virtual Methods (DD, OA), pp. 258–278.
OOPSLA-1999-AgesenDGKRW #implementation #performance #ubiquitous
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization (OA, DD, AG, RK, YSR, DW), pp. 207–222.
PLDI-1998-AgesenDM #garbage collection #java #liveness #virtual machine
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
RTA-1985-DetlefsF #automation #proving #set #termination
A Procedure for Automatically Proving the Termination of a Set of Rewrite Rules (DD, RF), pp. 255–270.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.