K
khdev4u
International Symposium on Memory Management 2010
Toronto, June 5-6, 2010
http://www.cs.purdue.edu/ISMM10/
CALL FOR PAPERS
ISMM is a forum for research in memory management. Areas of interest
include
but are not limited to:
* Memory allocation and deallocation
* 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
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.
ORGANIZERS
General Chair: Jan Vitek, Purdue University
Program Chair: Doug Lea, State University of New York at Oswego
Program Committee:
* Hans Boehm, HP Labs
* Cliff Click, Azul Systems
* David Detlefs, Microsoft Research
* Dave Dice, Sun Microsystems
* Christine Flood, Sun Microsystems
* Daniel Frampton, Australian National University
* Samir Genaim, Complutense University of Madrid
* Richard Jones, University of Kent
* Simon Marlow, Microsoft Research
* Nick Mitchell, IBM T.J. Watson Research
* Filip Pizlo, Purdue University
* Martin Vechev, IBM T.J. Watson Research
* Adam Welc, Intel
KEY DATES
Abstracts due: February 3, 2010
Submissions due: February 9, 2010
Author response: March 9-11, 2010
Notification: March 19, 2010
Final copy: April 2, 2010
Conference: June 5-6, 2010
SUBMISSIONS
Submitted papers must be in English and formatted to print on US
Letter (8.5 x
11 inches) paper. Submissions must contain an abstract and postal and
electronic
mailing addresses for at least one contact author. All papers must be
submitted
on-line, preferably in Portable Document Format (PDF), although the
submission
system will also accept PostScript. Submissions should be no more than
10 pages
(including bibliography, excluding well marked appendices) in standard
ACM
SIGPLAN conference format: two columns, nine-point font (or larger) on
a
ten-point baseline (or larger), with columns 20pc (3.33in) wide and
54pc (9in)
tall, and a column gutter of 2pc (0.33in). Detailed formatting
guidelines along
with formatting templates or style files for LaTeX are available at
http://www.acm.org/sigs/sigplan/authorInformation.htm. Papers that
violate these
guidelines will be rejected by the program chair. Program committee
members are
not required to read appendices, and so a paper should be intelligible
without
them. All accepted papers will appear in the published proceedings.
Double-blind reviewing
Authors are anonymous to the reviewers, just as reviewers are
anonymous to the
authors. Authors must take reasonable efforts not to disclose their
identities
to reviewers: Do not give your names nor mention your institution,
research
group or project name. Where necessary for flow, a stand-in name such
as "XYZ",
may be used, with a footnote explaining that the actual name is
withheld.
Discuss your own prior work in the third person, as you would other
related
work. You may also provide reviewers with anonymous auxiliary material
such as
proofs and source code via the PC Chair (see below). Reviewers, for
their part,
will be honor-bound not to try to discover authors' identities until
their
initial reviews are complete. Authors' identities will be revealed at
a later
point in the program committee's deliberations, but will be known only
to the
program chair until that point.
Review committee
ISMM uses a separate Review Committee (RC) as part of the reviewing
process. The
RC complements the Program Committee (PC) by providing expert reviews.
The same
reviewing standards apply to the RC as for the PC. However, RC members
review
only a few papers each, and do not participate in the PC meeting. The
use of the
RC increases the breadth and depth of the reviewer pool.
Rebuttal
The rebuttal process will occur in early March 2010, and will give the
authors
opportunity to respond succinctly to factual errors in reviews, before
the
program committee meets to make its decisions. The committee may, but
need not,
respond to rebuttals or revise reviews at or after the committee
meeting.
Auxiliary Material
Authors may provide the PC Chair with a URL for upload of auxiliary
material.
The URL itself will not be seen by reviewers. The authors may
reference such
material in their paper, noting that the material has been made
available to the
PC Chair. This facility may be used by authors to provide reviewers
with useful
information beyond the scope of the submitted paper, such as technical
reports,
proofs, and source code, without disclosing the authors' identity.
Authors are
obliged to make reasonable efforts to make all auxiliary material
suitably
anonymous. Authors are reminded that reviewers are under no obligation
to read
any auxiliary material.
Papers accompanied by or based on open-source implementations are
especially
welcome. However, if the authors are primary contributors to such a
project,
they should provide source URLs separately to the Program Chair for
validation,
and not list them in the submission proper.
Proceedings
The proceedings will be published by the ACM. Authors should read the
ACM Author
Guidelines and related information. Authors of accepted papers must
guarantee
that their paper will be presented at the conference. For additional
information
please feel free to contact the Program Chair.
Toronto, June 5-6, 2010
http://www.cs.purdue.edu/ISMM10/
CALL FOR PAPERS
ISMM is a forum for research in memory management. Areas of interest
include
but are not limited to:
* Memory allocation and deallocation
* 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
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.
ORGANIZERS
General Chair: Jan Vitek, Purdue University
Program Chair: Doug Lea, State University of New York at Oswego
Program Committee:
* Hans Boehm, HP Labs
* Cliff Click, Azul Systems
* David Detlefs, Microsoft Research
* Dave Dice, Sun Microsystems
* Christine Flood, Sun Microsystems
* Daniel Frampton, Australian National University
* Samir Genaim, Complutense University of Madrid
* Richard Jones, University of Kent
* Simon Marlow, Microsoft Research
* Nick Mitchell, IBM T.J. Watson Research
* Filip Pizlo, Purdue University
* Martin Vechev, IBM T.J. Watson Research
* Adam Welc, Intel
KEY DATES
Abstracts due: February 3, 2010
Submissions due: February 9, 2010
Author response: March 9-11, 2010
Notification: March 19, 2010
Final copy: April 2, 2010
Conference: June 5-6, 2010
SUBMISSIONS
Submitted papers must be in English and formatted to print on US
Letter (8.5 x
11 inches) paper. Submissions must contain an abstract and postal and
electronic
mailing addresses for at least one contact author. All papers must be
submitted
on-line, preferably in Portable Document Format (PDF), although the
submission
system will also accept PostScript. Submissions should be no more than
10 pages
(including bibliography, excluding well marked appendices) in standard
ACM
SIGPLAN conference format: two columns, nine-point font (or larger) on
a
ten-point baseline (or larger), with columns 20pc (3.33in) wide and
54pc (9in)
tall, and a column gutter of 2pc (0.33in). Detailed formatting
guidelines along
with formatting templates or style files for LaTeX are available at
http://www.acm.org/sigs/sigplan/authorInformation.htm. Papers that
violate these
guidelines will be rejected by the program chair. Program committee
members are
not required to read appendices, and so a paper should be intelligible
without
them. All accepted papers will appear in the published proceedings.
Double-blind reviewing
Authors are anonymous to the reviewers, just as reviewers are
anonymous to the
authors. Authors must take reasonable efforts not to disclose their
identities
to reviewers: Do not give your names nor mention your institution,
research
group or project name. Where necessary for flow, a stand-in name such
as "XYZ",
may be used, with a footnote explaining that the actual name is
withheld.
Discuss your own prior work in the third person, as you would other
related
work. You may also provide reviewers with anonymous auxiliary material
such as
proofs and source code via the PC Chair (see below). Reviewers, for
their part,
will be honor-bound not to try to discover authors' identities until
their
initial reviews are complete. Authors' identities will be revealed at
a later
point in the program committee's deliberations, but will be known only
to the
program chair until that point.
Review committee
ISMM uses a separate Review Committee (RC) as part of the reviewing
process. The
RC complements the Program Committee (PC) by providing expert reviews.
The same
reviewing standards apply to the RC as for the PC. However, RC members
review
only a few papers each, and do not participate in the PC meeting. The
use of the
RC increases the breadth and depth of the reviewer pool.
Rebuttal
The rebuttal process will occur in early March 2010, and will give the
authors
opportunity to respond succinctly to factual errors in reviews, before
the
program committee meets to make its decisions. The committee may, but
need not,
respond to rebuttals or revise reviews at or after the committee
meeting.
Auxiliary Material
Authors may provide the PC Chair with a URL for upload of auxiliary
material.
The URL itself will not be seen by reviewers. The authors may
reference such
material in their paper, noting that the material has been made
available to the
PC Chair. This facility may be used by authors to provide reviewers
with useful
information beyond the scope of the submitted paper, such as technical
reports,
proofs, and source code, without disclosing the authors' identity.
Authors are
obliged to make reasonable efforts to make all auxiliary material
suitably
anonymous. Authors are reminded that reviewers are under no obligation
to read
any auxiliary material.
Papers accompanied by or based on open-source implementations are
especially
welcome. However, if the authors are primary contributors to such a
project,
they should provide source URLs separately to the Program Chair for
validation,
and not list them in the submission proper.
Proceedings
The proceedings will be published by the ACM. Authors should read the
ACM Author
Guidelines and related information. Authors of accepted papers must
guarantee
that their paper will be presented at the conference. For additional
information
please feel free to contact the Program Chair.