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


Groups > comp.lang.java.machine > #25

ACM ISMM 2012 Call for Papers

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!postnews.google.com!dp8g2000vbb.googlegroups.com!not-for-mail
From Martin Vechev <martin.vechev@gmail.com>
Newsgroups comp.lang.java.machine
Subject ACM ISMM 2012 Call for Papers
Date Mon, 30 Jan 2012 14:57:37 -0800 (PST)
Organization http://groups.google.com
Lines 43
Message-ID <9f9e6f6e-2693-437f-9f69-a8d47054d2ea@dp8g2000vbb.googlegroups.com> (permalink)
NNTP-Posting-Host 80.219.156.184
Mime-Version 1.0
Content-Type text/plain; charset=ISO-8859-1
X-Trace posting.google.com 1327964258 14485 127.0.0.1 (30 Jan 2012 22:57:38 GMT)
X-Complaints-To groups-abuse@google.com
NNTP-Posting-Date Mon, 30 Jan 2012 22:57:38 +0000 (UTC)
Complaints-To groups-abuse@google.com
Injection-Info dp8g2000vbb.googlegroups.com; posting-host=80.219.156.184; posting-account=H2-ZIwoAAADD4uT32kb0doBYG2V9zLmC
User-Agent G2/1.0
X-Google-Web-Client true
X-Google-Header-Order HUALESNKRC
X-HTTP-UserAgent Mozilla/5.0 (Windows NT 6.1; WOW64; rv:9.0.1) Gecko/20100101 Firefox/9.0.1,gzip(gfe)
Xref x330-a1.tempe.blueboxinc.net comp.lang.java.machine:25

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.lang.java.machine | Previous | Next | Find similar


Thread

ACM ISMM 2012 Call for Papers Martin Vechev <martin.vechev@gmail.com> - 2012-01-30 14:57 -0800

csiph-web