All papers must be submitted on-line in Portable Document Format (PDF). The submission web site is:

Submission Instructions

Please read the submission instructions below:

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 elsewhere, the authors must notify the program chair (see the SIGPLAN republication policy). Note: this year the submission deadline for ISMM is five 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.

Submissions must be in English, formatted to print on US Letter (8.5 x 11 inches) paper, and 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 are available at the URL below, along with formatting templates or style files for LaTeX. 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

The ISMM paper reviewing process uses double-blind reviewing and provides an opportunity for rebuttal. In double-blind reviewing, the authors are anonymous to the reviewers, just as reviewers are anonymous to the authors. Authors are required to make reasonable efforts not to disclose their identities to reviewers. For example, you should not give your names nor mention your institution, research group, project name, etc. Where necessary for flow, you could say "the XYZ project" and add in a footnote that the name is withheld.

Discuss your own prior work in the third person, as you would other related work. Avoid making paper drafts too public, to reduce the possibility of inadvertently revealing your identities to reviewers. Authors will be able to 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, which will be known only by the program chair until a suitable point in the program committee's deliberations. We are using this process because research indicates that author anonymity reduces bias in reviewing.

Auxiliary Material

When submitting papers to ISMM 2012, authors will be able to 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.

Review committee

ISMM 2012 follows the practice introduced in earlier ISMM's of using a separate External Review Committee (XRC) as part of the reviewing process. The XRC complements the Program Committee (PC) by providing expert reviews. The same reviewing standards apply to the XRC as for the PC. However, XRC members review only around four papers each, do not participate in the PC meeting, but will review and determine the fate of PC submissions. The purpose of the XRC is to increase the breadth and depth of the reviewer pool, thus increasing the likelihood of conflict-free expert reviews. This approach should be more practical with double-blind reviewing than ad hoc expert review assignments (as used by a number of conferences). The formal selection process, transparency of its constituency, and the fact that each reviewer will review multiple papers should increase the quality and accountability of reviews as compared to traditional ad hoc expert review assignments.


The rebuttal process will occur in early March 2012, 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.