[ecoop-info] CFP: International Symposium on Memory Management 2014

[Jeremy Singer]

International Symposium on Memory Management

June 12, 2014
Edinburgh, Scotland (co-located with PLDI)
http://ismm2014.cs.tufts.edu
============================

IMPORTANT DATES

Submission deadline: February 12, 2014
Rebuttal period: March 24-26, 2014
Notification: April 1, 2014

ABOUT ISMM

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.

ORGANIZATION

General Chair: David Grove, IBM
Program Chair: Samuel Z Guyer, Tufts University
Publicity Chair: Jeremy Singer, University of Glasgow