POPL : Conference on Programming Language Design and Implementation

  in Conferences   Posted on April 13, 2017

Conference Information

Submission Deadline Friday 07 Jul 2017
Conference & Submission Link http://popl18.sigplan.org/
Conference Dates Jan 8, 2018 - Jan 8, 2018
Conference Address Los Angeles, United States
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 46
CORE 2017 Rating: A*
Guide2Research Overall Ranking: 48
Category Rankings
Software Engineering & Programming 5

Conference Call for Papers


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. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Evaluation criteria

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.

Each paper 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.

Evaluation process

Authors will have a three-day period to respond to reviews, as indicated in the Important Dates table. Responses are optional. They must not be overly long and should not try to introduce new technical results. Reviewers will write a short reaction to these author responses.

As an experiment for POPL 2018, the program committee will discuss papers entirely electronically rather than at a physical programming committee meeting. This will avoid the time, cost and ecological impact of transporting an increasingly large committee to one point on the globe. Unlike in recent years, there will be no formal External Review Committee, though experts outside the committee will be consulted when their expertise is needed.

Reviews will be accompanied by a short summary of the reasons behind the committee’s decision. It is the goal of the program committee to make it clear to the authors why each paper was or was not accepted.

For additional information about the reviewing process, see:

Principles of POPL: a presentation of the underlying organizational and reviewing policies for POPL.

Frequently asked questions about the reviewing and submission process, especially double-blind reviewing.

Submission guidelines

Prior to the paper submission deadline, the authors will upload their full anonymized paper. Each paper should have no more than 24 pages of text, excluding bibliography, using the new ACM Proceedings format. This format, new as of 2018, is chosen for compatibility with PACMPL. It is a single-column page layout with a 10 pt font, 12 pt line spacing, and wider margins than recent POPL page layouts. In this format, 24 pages corresponds to roughly 12 pages of text in the format used in recent POPLs. Use of a denser format (e.g., smaller fonts, narrower margins) is grounds for summary rejection. Templates for the new ACM format for Microsoft Word and LaTeX (with the acmlarge option) can be found here. Submissions should be in PDF and printable on both US Letter and A4 paper. Papers may be resubmitted to the submission site multiple times up until the deadline, but the last version submitted before the deadline will be the version reviewed. Papers that exceed the length requirement, that deviate from the expected format, or that are submitted late will be rejected.

Deadlines expire at midnight anywhere on earth on the Important Dates displayed to the right.

Submitted papers must adhere to the SIGPLAN Republication Policy and the ACM Policy on Plagiarism. Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed.

POPL 2018 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 judgment 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. In particular, 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. A document answering frequently asked questions should address many common concerns.

The submission itself is the object of review and so it should strive to convince the reader of at least the plausibility of reported results. Still, 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 must be uploaded at submission time, as a single pdf or a tarball, not via a URL. Two forms of supplementary material may be submitted.

Anonymous supplementary material is available to the reviewers before they submit their first-draft reviews.

Non-anonymous supplementary material is available to the reviewers after they have submitted their first-draft reviews and learned the identity of the authors.

Use the anonymous form if possible. 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.

Artifact Evaluation

Authors of accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process. Artifact Evaluation 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. 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.

PACMPL and Copyright

All papers accepted to POPL 2018 will also be published as part of the new ACM journal Proceedings of the ACM on Programming Languages (PACMPL), To conform with ACM requirements for journal publication, all POPL papers will be conditionally accepted; authors will be required to submit a short description of the changes made to the final version of the paper, including how the changes address any requirements imposed by the program committee. That the changes are sufficient will be confirmed by the original reviewers prior to acceptance to POPL.

As a Gold Open Access journal, PACMPL is committed to making peer-reviewed scientific research free of restrictions on both access and (re-)use. Authors are strongly encouraged to support libre open access by licensing their work with the Creative Commons Attribution 4.0 International (CC BY) license, which grants readers liberal (re-)use rights.

Authors of accepted papers will be required to choose one of the following publication rights:

Author licenses the work with a Creative Commons license, retains copyright, and (implicitly) grants ACM non-exclusive permission to publish (suggested choice).

Author retains copyright of the work and grants ACM a non-exclusive permission to publish license.

Author retains copyright of the work and grants ACM an exclusive permssion to publish license.

Author transfers copyright of the work to ACM.

These choices follow from ACM Copyright Policy and ACM Author Rights, corresponding to ACM’s “author pays” option. While PACMPL may ask authors who have funding for open-access fees to voluntarily cover the article processing charge (currently, US$400), payment is not required or expected for publication. PACMPL and SIGPLAN continue to explore the best models for funding open access, focusing on approaches that are sustainable in the long-term while reducing short-term risk.

Publication and Presentation Requirements

Authors are required to give a short talk (roughly 25 minutes long) at the conference, according to the conference schedule. Papers may not be presented at the conference if they have not been published by ACM under one of the allowed copyright options.

POPL welcomes all authors, regardless of nationality. If authors are unable despite reasonable effort to obtain visas to travel to the conference, arrangements to enable remote participation will be made. In such cases, the general chair, Ranjit Jhala, should be contacted for guidance.

Final versions of accepted papers are allowed up to 24 pages excluding the bibliography, using ACM Proceedings Format. In addition, up to four additional pages may be purchased at US$100 per page. This additional amount will be due at registration for the conference.

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 the conference. The official publication date affects the deadline for any patent filings related to published work.

Program Committee
Thorsten Altenkirch, University of Nottingham
Nada Amin, EPFL
Gilles Barthe, IMDEA Software Institute
Mark Batty, University of Kent
Lars Birkedal, Aarhus University
Pavol Cerny, University of Colorado Boulder
James Cheney, University of Edinburgh
Koen Claessen, Chalmers University of Technology
William Cook, University of Texas Austin
Karl Crary, Carnegie Mellon University
Loris D\’Antoni, University of Wisconsin Madison
Mila Dalla Preda, University of Verona
Isil Dillig, U.Texas
Sophia Drossopoulou, Imperial College London
Constantin Enea, Université Paris Diderot
Azadeh Farzan, University of Toronto
Xinyu Feng, University of Science and Technology of China
Atsushi Igarashi, Kyoto University
Laura Kovacs, Vienna University of Technology
Neel Krishnaswami, University of Cambridge
Sorin Lerner, University of California, San Diego
Xavier Leroy, Inria
Conor McBride, University of Strathclyde
Mira Mezini, TU Darmstadt
Matthew Might, University of Utah
Peter Muller, ETH Zurich
Andrew Myers, Cornell University (chair)
Santosh Nagarakatte, Rutgers University
Aleksandar Nanevski, IMDEA Software Institute
Klaus Ostermann, University of Tuebingen
Ruzica Piskac, Yale University
Nadia Polikarpova, MIT CSAIL
Zvonimir Rakamaric, University of Utah
Aseem Rastogi, Microsoft Research
Grigore Rosu, UIUC
Andrey Rybalchenko, Microsoft Research
Amr Sabry, Indiana University
David Sands, Chalmers University of Technology
Davide Sangiorgi, University of Bologna and INRIA
Peter Sewell, University of Cambridge
Zhong Shao, Yale University
Yannis Smaragdakis, University of Athens
Zhendong Su, University of California, Davis
Eric Tanter, University of Chile
Zachary Tatlock, Univ. Washington
Tachio Terauchi, JAIST
Viktor Vafeiadis, Max Planck Institute for Software Systems
Philip Wadler, University of Edinburgh
David Walker, Princeton
Stephanie Weirich, University of Pennsylvania
Jean Yang, Carnegie Mellon University
Danfeng Zhang, Penn State University

Other Conferences in United States

CODASPY 2018 : Conference on Data and Application Security and Privacy

Deadline :
Mon 25 Sep 2017
Mar 19, 2018 - Mar 21, 2018 - Tempe
United States

IC2E 2018 : IEEE International Conference on Cloud Engineering

Deadline :
Mon 25 Sep 2017
Apr 17, 2018 - Apr 20, 2018 - Orlando
United States

NSDI 2018 : 15th USENIX Symposium on Networked Systems Design and Implementation

Deadline :
Mon 25 Sep 2017
Apr 9, 2018 - Apr 11, 2018 - Renton
United States