POPL '03 Call for Papers

The 30th Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages

January 15-17, 2003
New Orleans, Louisiana

Contents


News

Since you're submitting to POPL, we suspect that you already are or will soon become an important member of the SIGPLAN community. We're asking each member of that community to chat with your local colleagues and thing about nominating someone for the Programming Languages Achievement Award or the Distinguished Service Award that are sponsored by SIGPLAN. We've recently streamlined the nomination process so that all you have to do is send us a short letter, plus names of other people you believe would support the nomination. You can find a list of past winners and some information about the process on the SIGPLAN web pages. Please send nominations to secretary_sigplan@acm.org.

The submission deadline has now passed.


Last updated: 14 December, 2004 14:45:15 -0500


Scope of the Conference

The annual Symposium on Principles Of Programming Languages is a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, and implementation of programming languages, programming systems, and programming abstractions. Submissions on a diversity of topics are sought, particularly ones that identify new research directions. Both practical and theoretical papers are welcome. 

POPL '03 is not limited to topics discussed in previous symposia or to formal approaches. Authors concerned about the appropriateness of a topic may communicate with the program chair prior to submission.

Submission Guidelines

Papers are to be submitted in the form of an extended abstract of 5000 words or less -- i.e., approximately 10 pages, typeset 10 point on 16 point -- excluding bibliography and figures. Submissions will be judged on originality, significance, correctness, and clarity. An extended abstract should clearly express the contribution of the work, both in general and in technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with, and improves upon, previous work.

Authors should bear in mind that individual program-committee members will be asked to referee approximately 30-40 extended abstracts; while every effort will be made to assign submissions to an appropriate subset of the program committee, very few papers are likely to be reviewed solely by experts in a paper's topic area. A good rule of thumb is that an informed colleague (with expertise in programming languages) should be able to form an initial judgment of the technical content of a submission in 40 minutes. Some advice about how to prepare a suitable extended abstract can be found here.

Submitted papers must describe work unpublished in refereed venues, and not submitted for publication elsewhere (i.e., either a conference or a journal). Papers that are too long or are submitted late (see below) will be rejected by the program chair.

Authors of accepted papers will be required to sign ACM copyright release forms.

Important Dates and Submission Details

The submission deadlines given above are firm.

Submissions will be carried out electronically via the Web (see the submission page for details). Extended abstracts must be submitted as PostScript documents that are interpretable by Ghostscript, or in PDF format, and they must be printable on both USLetter and A4 paper. (Those individuals for which this requirement is a hardship should contact the program chair.)


Program Chair

Greg Morrisett
Computer Science Department
4133 Upson Hall
Cornell University
Ithaca, New York  14853-7501  USA
E-mail: jgm@cs.cornell.edu
Tel.: +1-607-255-3009
Fax: +1-607-255-4428

General Chair

Alex Aiken
Computer Science Division

773 Soda Hall
University of California, Berkeley
Berkeley, California  94720-1776  USA
E-mail: aiken@cs.berkeley.edu
Tel: +1-510-642-5319
Fax:+1-510-642-3962

Program Committee

Lennart Augustsson, Chalmers Univ. of Technology, Sweden
Rastislav Bodik, UC Berkeley and IBM Research
Kim Bruce, Williams College
Jack Davidson, University of Virginia
Amy Felty, University of Ottawa, Canada
John Field, IBM Research
Cormac Flanagan, Compaq Systems Research Labs
Joxan Jaffar, National University of Singapore
Greg Morrisett, Cornell University
Catuscia Palamidessi, Pennsylvania State University
Francois Pottier, INRIA Rocquencourt
Amr Sabry, Indiana University
Davide Sangiorgi, INRIA Sophia
Bjarne Steensgaard, Microsoft Research
Joe Wells, Heriot-Watt University, Scotland


This page is maintained by Greg Morrisett

Last modified: 14 December, 2004 14:45:15 -0500 .