A Fast Analysis for Thread-Local Garbage Collection with Dynamic Class Loading

Authors:
Richard Jones;Andy C. King
Affiliations:
University of Kent;Microsoft Corporation, Redmond, U.S.A.
Venue:
SCAM '05 Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation
Year:
2005

Citing 0
Cited 8

Efficient memory management for concurrent programs that use message passing

Science of Computer Programming - Special issue on five perspectives on modern memory management: Systems, hardware and theory
Hierarchical real-time garbage collection

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Static Detection of Place Locality and Elimination of Runtime Checks

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Stack allocation of objects in the CACAO virtual machine

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Multicore garbage collection with local heaps

Proceedings of the international symposium on Memory management
Eliminating read barriers through procrastination and cleanliness

Proceedings of the 2012 international symposium on Memory Management
A black-box approach to understanding concurrency in DaCapo

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a new approach to program slicing based on abstract interpretation and model checking. First, the notion of abstract slicing is introduced. Abstract slicing extends static slicing with predicates and constraints by using as the program ...