318 search results - page 34 / 64 » Garbage-first garbage collection |
150
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
129
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...
135
click to vote
VEE
2006
ACM
15 years 7 months ago
2006
ACM
During recent years, microprocessor energy consumption has been surging and efforts to reduce power and energy have received a lot of attention. At the same time, virtual executio...
130
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
105
click to vote
WOSP
2010
ACM
15 years 8 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...