ISMM 2014 - International Symposium on Memory Management

ISMM is a forum for research in memory management. As in recent years, ISMM will be co-located with PLDI 2014. Areas of interest include but are not limited to:
Memory allocation and de-allocation
Garbage Collection algorithms and implementations
Compiler analyses and tools to aid memory management
Empirical analysis of heap intensive programs
Formal analysis and verification of heap intensive programs
Memory system design and analysis
Verification of memory management algorithms
Memory management for new or non-traditional systems
Development and evaluation of open-source implementations related to memory management
ISMM solicits full-length submissions covering new work on these topics, as well as papers presenting confirmations or refutations of important prior results. Surveys and comparative analyses that shed new light on previously published techniques are also welcome.