Sciweavers

106 search results - page 3 / 22
» Precise garbage collection for C
Sort
View
PLDI
2006
ACM
14 years 2 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 3 months ago
Memoised Garbage Collection for Software Model Checking
Viet Yen Nguyen, Theo C. Ruys
SIGMETRICS
2004
ACM
103views Hardware» more  SIGMETRICS 2004»
14 years 2 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»
14 years 24 days 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»
14 years 2 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