Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.compilers > #440

ACM ISMM 2012 Call for Papers (Beijing, Jun 12)

Path csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder3.hal-mli.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.iecc.com!nerds-end
From Martin Vechev <martin.vechev@gmail.com>
Newsgroups comp.compilers
Subject ACM ISMM 2012 Call for Papers (Beijing, Jun 12)
Date Mon, 30 Jan 2012 14:55:46 -0800 (PST)
Organization Compilers Central
Lines 44
Sender johnl@iecc.com
Approved comp.compilers@iecc.com
Message-ID <12-01-041@comp.compilers> (permalink)
NNTP-Posting-Host news.iecc.com
X-Trace leila.iecc.com 1327984072 97869 64.57.183.58 (31 Jan 2012 04:27:52 GMT)
X-Complaints-To abuse@iecc.com
NNTP-Posting-Date Tue, 31 Jan 2012 04:27:52 +0000 (UTC)
Keywords conference, GC, CFP
Posted-Date 30 Jan 2012 23:27:52 EST
X-submission-address compilers@iecc.com
X-moderator-address compilers-request@iecc.com
X-FAQ-and-archives http://compilers.iecc.com
Xref x330-a1.tempe.blueboxinc.net comp.compilers:440

Show key headers only | View raw


International Symposium on Memory Management (ISMM)
June 15-16, 2012, Beijing China
http://ismm12.cs.purdue.edu/

Call For Papers.  Important Dates

    Abstracts are due on February 2, 2012.
    Full papers are due on February 7th, 1pm PST, 2012.

ISMM is a forum for research in areas related to memory management.
Areas of interest include but are not limited to

    Memory system correctness, design, and analysis
    Analysis of heap intensive programs
    Compiler analyses and tools to aid memory management
    Program analysis, synthesis, and verification
    Garbage collection
    Memory allocation and deallocation
    Development and evaluation of open source implementations
    Memory management algorithms, implementation, and correctness


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.

Submissions.  10 page full paper submissions will be read by the
program committee and designated reviewers, and judged on 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). Note: this year the submission deadline for
ISMM is two days after the author notification deadline for PLDI, to
make it possible for authors of relevant papers not accepted for PLDI
to submit them to ISMM.

We welcome your participation!
General Chair: Martin Vechev
Program Chair: Kathryn S McKinley

See the web page for more details:  http://ismm12.cs.purdue.edu/

Back to comp.compilers | Previous | Next | Find similar | Unroll thread


Thread

ACM ISMM 2012 Call for Papers (Beijing, Jun 12) Martin Vechev <martin.vechev@gmail.com> - 2012-01-30 14:55 -0800

csiph-web