Proceedings of the 6th international symposium on Memory management

The International Symposium on Memory Management (ISMM) is a forum for research in management of dynamically allocated memory. Areas of interest include but are not limited to: explicit storage allocation and deallocation; garbage collection algorithms and implementations; compiler analyses to aid memory management; interactions with languages, operating systems, and hardware, especially the memory system; and empirical studies of allocation and referencing behavior in programs that make significant use of dynamic memory. ISMM 2007 continues the tradition of the successful conference series established with the International Workshops on Memory Management held in 1992 and 1995. Since 1998 ISMM has been held biennially, co-located with either OOPSLA or PLDI, and as of this year, has switched to an annual conference. The fourteen papers selected for publication in this volume cover a remarkably broad range of memory management topics from explicit memory management to automatic memory management, optimizing memory locality, and utilizing object lifetimes, support for real time, space compression techniques, specializing garbage collectors, dynamic and static analysis to improve memory management and correctness of memory systems. It also includes two invited keynote talks: by Peter O'Hearn on Separation Logic and Concurrent Resource Management and by David Kirk on NVIDIA CUDA Software and GPU Parallel Computing Architecture.