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 BibTeX

Peter W. O'Hearn:
Separation logic and concurrent resource management. 1
Electronic Edition (ACM DL) BibTeX

Explicit memory management

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

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
Electronic Edition (ACM DL) BibTeX
Robin Garner, Stephen M. Blackburn, Daniel Frampton:
Effective prefetch for mark-sweep garbage collection. 43-54
Electronic Edition (ACM DL) BibTeX
Craig B. Zilles:
Accordion arrays. 55-66
Electronic Edition (ACM DL) BibTeX

Object lifetimes

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

Static analysis and verification

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

Optimization and real time GC

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