ISMM 2007: Montreal, Quebec, Canada

Greg Morrisett, Mooly Sagiv (Eds.): Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007. ACM 2007, ISBN 978-1-59593-893-0

Peter W. O'Hearn:
Separation logic and concurrent resource management. 1

Explicit memory management

David Gay, Robert Ennals, Eric A. Brewer:
Safe manual memory management. 2-14
Huu Hai Nguyen, Martin C. Rinard:
Detecting and eliminating memory leaks using cyclic memory allocation. 15-30

Memory locality and compression

Reza Azimi, Livio Soares, Michael Stumm, Thomas Walsh, Angela Demke Brown:
Path: page access tracking to improve memory management. 31-42
Robin Garner, Stephen M. Blackburn, Daniel Frampton:
Effective prefetch for mark-sweep garbage collection. 43-54
Craig B. Zilles:
Accordion arrays. 55-66

Object lifetimes

Sebastien Marion, Richard E. Jones, Chris Ryder:
Decrypting the Java gene pool. 67-78
Feng Xian, Witawas Srisa-an, Hong Jiang:
Allocation-phase aware thread scheduling policies to improve garbage collection performance. 79-90
Jeremy Singer, Gavin Brown, Ian Watson, John Cavazos:
Intelligent selection of application-specific garbage collectors. 91-102
David Kirk:
NVIDIA cuda software and gpu parallel computing architecture. 103-104

Static analysis and verification

Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Heap space analysis for java bytecode. 105-116
Sigmund Cherem, Radu Rugina:
Uniqueness inference for compile-time object deallocation. 117-128
Martin Kero, Johan Nordlander, Per Lindgren:
A correct and useful incremental copying garbage collector. 129-140

Optimization and real time GC

Pramod G. Joisha:
Overlooking roots: a framework for making nondeferred reference-counting garbage collection fast. 141-158
Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne Steensgaard:
Stopless: a real-time garbage collector for multiprocessors. 159-172
Sylvain Stanchina, Matthias Meyer:
Mark-sweep or copying?: a "best of both worlds" algorithm and a hardware-supported real-time implementation. 173-182

Last update Tue Feb 14 04:06:33 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page