[ecoop-info] ISMM 2013 Call for Papers

[Jeremy Singer]

==============================================
International Symposium on Memory Management
ISMM 2013

Submission deadline: Feb 10, 2013
Conference: Jun 20-21 2013
Venue: Seattle, WA (with PLDI)
Web: http://www.cs.technion.ac.il/~erez/ismm13
==============================================

ISMM is a forum for research in memory management. 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
 * Development and evaluation of open source implementations
    related to memory management
 * Memory management on non-traditional or new architectures
    or systems

ISMM solicits full-length submissions covering new work on
these and related topics. Surveys, comparative analysis, and
methodological papers delving into areas covered by prior
work are also welcome. An author rebuttal period of 3 days
will be provided. The principal criteria for acceptance are
scientific merit, innovation, readability, and
relevance. Papers previously published or already being
reviewed by another conference are not eligible. If a
closely related paper has been submitted to a journal, the
authors must notify the program chair (see the SIGPLAN
republication policy). The submission deadline for ISMM is
chosen to be shortly after the author notification deadline
for PLDI, to allow for authors of relevant papers not
accepted for PLDI to re-submit them to ISMM.

Important Dates

Submissions due: February 10, 2013
Author response: March 17-19, 2013
Notification: March 26, 2013
Final copy: April 18, 2013
Conference: June 20-21, 2013

Paper length: 10 pages, ACM SIGPLAN conference format (9pt)
General Chair: Perry Cheng (IBM)
Program Chair: Erez Petrank (Technion)