Sciweavers

106 search results - page 3 / 22
» Precise garbage collection for C
Sort
View
PLDI
2006
ACM
13 years 11 months ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
TACAS
2009
Springer
102views Algorithms» more  TACAS 2009»
14 years 1 days ago
Memoised Garbage Collection for Software Model Checking
Viet Yen Nguyen, Theo C. Ruys
SIGMETRICS
2004
ACM
103views Hardware» more  SIGMETRICS 2004»
13 years 10 months ago
Myths and realities: the performance impact of garbage collection
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
Stephen M. Blackburn, Perry Cheng, Kathryn S. McKi...
IWMM
1998
Springer
130views Hardware» more  IWMM 1998»
13 years 9 months ago
Comparing Mostly-Copying and Mark-Sweep Conservative Collection
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
Frederick Smith, J. Gregory Morrisett
CC
2007
Springer
143views System Software» more  CC 2007»
13 years 11 months ago
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek