Mumbai, India
January 12-18, 2015

Call for papers

Scope

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
programming systems. Both theoretical and experimental papers are
welcome, on topics ranging from formal frameworks to experience
reports. Papers discussing new ideas and new areas are encouraged, as
are papers (often called "pearls") that elucidate existing concepts in
ways that yield new insights. We are looking for any submission with the
potential to make enduring contributions to the theory, design,
implementation or application of programming languages.

Evaluation

The program committee will evaluate the technical contribution of each
submission as well as its accessibility to both experts and the
general POPL audience. All papers will be judged on significance,
originality, relevance, correctness, and clarity.

Explaining a known idea in a new way may make as strong a contribution
as inventing a new idea. Hence, we encourage the submission of pearls:
elegant essays that explain an old idea, but do so in a new way that
clarifies the idea and yields new insights. There is no formal
separation of categories; pearls will be held to the same standards
as any other paper. Advice on writing pearls can be found in the
ICFP 2006 Call for Papers.

Each paper, pearl or otherwise, should explain its contributions in
both general and technical terms, identifying what has been
accomplished, explaining why it is significant, and comparing it with
previous work. Authors should strive to make their papers
understandable to a broad audience. Advice on writing technical papers
can be found on the
SIGPLAN author information
page.

A document that details principles underlying organizational and reviewing
policies can be found here.

A document containing frequently asked questions about the reviewing and
submission process, especially as it pertains to double-blind reviewing, can be
found here.

Submission guidelines

Prior to the registration deadline, the authors will register their
paper by uploading information on the submission title, abstract (of
at most 300 words), authors, topics, and conflicts to the conference
web site. Papers that are not registered on time will be rejected.

Prior to the final paper submission deadline, the authors will upload
their full paper of no more than 12 pages (including bibliography and
appendices) formatted according to the ACM proceedings format. Papers
may be resubmitted multiple times up until the deadline. The last
version submitted will be the version that is reviewed. Papers
that exceed the length requirement or are submitted late will be
rejected. All deadlines are firm.

We encourage authors to provide any supplementary material that is
required to support the claims made in the paper, such as detailed
proofs, proof scripts, or experimental data. These materials should be
uploaded at submission time, as a single pdf or a tarball, not via a
URL. It will be made available to reviewers only after they have
submitted their first-draft reviews and hence need not be
anonymized. Reviewers are under no obligation to look at the
supplementary material but may refer to it if they have questions
about the material in the body of the paper.

Templates for ACM format are available for Word Perfect, Microsoft
Word, and LaTeX at http://www.sigplan.org/Resources/Author
(use the 9 pt preprint template). Submissions should be in PDF and printable on
US Letter and A4 sized paper.

AUTHORS TAKE NOTE:
The official publication date is the date the proceedings are made available in
the ACM Digital Library. This date may be up to two weeks prior to the first
day of your conference. The official publication date affects the deadline for
any patent filings related to published work. (For those rare conferences whose
proceedings are published in the ACM Digital Library after the conference is
over, the official publication date remains the first day of the conference.)

POPL 2015 will employ a lightweight double-blind reviewing process. To
facilitate this, submitted papers must adhere to two rules:

author names and institutions must be omitted, and

references to authors' own related work should be in the third person
(e.g., not "We build on our previous work ..." but rather "We build on
the work of ...").

The purpose of this process is to help the PC and external reviewers come to
an initial judgement about the paper without bias, not to make it
impossible for them to discover the authors if they were to
try. Nothing should be done in the name of anonymity that weakens the
submission or makes the job of reviewing the paper more difficult
(e.g., important background references should not be omitted or
anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally
would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas. The program chair has put
together a
document answering frequently asked questions that should address many common
concerns.

ARTIFACT EVALUATION: Authors of accepted papers will be invited to
formally submit supporting materials to the Artifact Evaluation process.
Artifact Evaluation, which is new this year, is run by a separate committee
whose task is to assess how the artifacts support the work described in the
papers. This submission is voluntary and will not influence the final decision
regarding the papers. Papers that go through the Artifact Evaluation process
successfully will receive a seal of approval printed on the papers themselves.
Additional information is to be found on the POPL AEC web page. Authors of
accepted papers are encouraged to make these materials publicly available upon
publication of the proceedings, by including them as "source materials" in the
ACM Digital Library.