19 search results - page 1 / 4 » Local reasoning about a copying garbage collector |
POPL
2004
ACM
14 years 5 months ago
2004
ACM
POPL
2009
ACM
14 years 6 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
SIGMETRICS
2004
ACM
13 years 10 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
CC
2001
Springer
13 years 9 months ago
2001
Springer
Root scanning is the task of identifying references to heap objects that are stored outside of the heap itself, in global and local variables and on the execution stack. Root scann...