POPL 2011 - 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.
Advice to authors

Submissions on a diversity of topics are sought, particularly ones that identify new research directions. POPL 2011 is not limited to topics discussed in previous symposia. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission.

Explaining a known idea in a new way may make as strong a contribution as inventing a new one. Continuing a tradition established in POPL 2008, we encourage the submission of pearls: elegant essays that illustrate an idea, for example by developing a short program. (Advice on writing pearls can be found in the ICFP 2008 Call for Papers.) However, there is no formal separation of categories and no need to explicitly label pearls as such: ALL papers, whether pearl or otherwise, will be judged on a combination of correctness, significance, novelty, clarity, and elegance.

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. More advice on writing technical papers can be found on the SIGPLAN Author Information page.
Submission guidelines

Authors should submit an abstract of at most 300 words and a full paper of no more than 12 pages (including bibliography and appendices). The submission deadline and length limitations are firm. Submissions that do not meet these guidelines may not be considered. A submission URL will be announced closer to the deadline.

Submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template.

Papers must be submitted in PDF format and printable on US Letter size paper. Individuals for whom this requirement is a hardship should contact the program chair at least one week before the deadline.

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

The ACM copyright notice is not required of submissions, only of accepted papers. Authors of accepted papers will be required to sign the ACM copyright form. Proceedings will be published by ACM Press. Categories and keywords need not be included in the submission.

Authors will have a 48-hour period to read and respond to the reviews of their papers before the PC meeting. Details of the response process will be announced by e-mail a few days beforehand.
Student Attendees and visa support letters

Students with accepted papers or posters are encouraged to apply for a SIGPLAN PAC grant that will help to cover travel expenses to POPL. Details on the PAC program and the application can be found here. PAC also offers support for companion travel.

Information regarding visa support letters is available here.
Invited speakers

* Matthew MacLaurin, Microsoft.

o The Design of Kodu: A Tiny Visual Programming Language for Children on the Xbox 360.

* Xavier Leroy, INRIA.

* Andrew D. Gordon, Peter Sewell and Friends.

o Robin Milner: verification, languages, and concurrency.

Other attractions

* POPL Jazz Reception

o Andrew Appel (saxophone), Todd Millstein (guitar), Tom Ball (bass), Rustan Leino (drums), and friends. Contact Tom Ball if you want to play.

* Microsoft Research Game Room

o

Three Xboxes, ready to play, will be available in the Microsoft Research Game Room during the conference. Feel free to use the machines to play/program in Kodu (see invited talk), and also to experience the Kinect controller.

* POPL Xbox 360 Raffle

o We will give away three Xbox 360s in a raffle at the very end of the conference. Your POPL registration enters you in the raffle. You must be present to win.