July 12, 2011 - POPL 2012 (39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
39th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2012)
Philadelphia, PA, USA; January 25-27, 2012
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 systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Papers discussing new ideas and areas are most welcome, as are high-quality expositions or elucidations of existing concepts that are likely to yield new insights ("pearls").
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. 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. More advice on writing technical papers can be found on the SIGPLAN Author Information page; advice on writing pearls can be found in the ICFP 2008 Call for Papers.
Submission guidelines. Authors should submit an abstract of at most 300 words and a full paper of no more than 12 pages formatted according to the ACM proceedings format. These 12 pages include everything (i.e., it is the total length of the paper). The program chair will reject papers that exceed the length requirement or are submitted late. Templates for ACM format are available for Word Perfect, Microsoft Word, and LaTeX at http://www.acm.org/sigs/sigplan/authorInformation.htm (use the 9 pt template). Submissions should be in PDF and printable on US Letter and A4 sized paper.
Submitted papers must adhere to the SIGPLAN Republication Policy. Concurrent submissions to other conferences, workshops, journals, or similar forums of publication are not allowed.
Following the recent history of PLDI and the lengthier history of other conferences, POPL'12 will employ double-blind reviewing. To facilitate this, submitted papers must adhere to two rules: (1) author names and institutions must be omitted and (2) 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..."). 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). When in doubt, contact the program chair. A FAQ with further details will be made available closer to the submission deadline.
There is an option on the submission page to submit supplementary material, e.g., a tech report with proofs, or
11:59:59pm Samoa time, July 8, 2011 (Friday)
11:59:59 pm Samoa time, July 12, 2011 (Tuesday)
Author response period
September 14-18, 2011 (Wednesday-Saturday)
October 3, 2011 (Monday)
November 8, 2011 (Tuesday)
January 25-27, 2012
the software used to implement a system. This supplemental material should NOT be anonymized; it will be made available to reviewers after the intial reviews have been completed and author names are revealed. Reviewers may choose to use the supplemental material or not at their discretion. Authors can submit URLs to TRs or software (e.g., in a text file), rather than the paper or code itself, since all supplemental material is not anonymous.
The URL for submission of abstracts and papers will be announced closer to the submission deadline. Authors will have a four-day period to read and respond to the reviews of their papers before the PC meeting.
Details of the response process will be announced by email a few days beforehand.
General Chair: Program Chair: Program Committee:
External Review Committee:
John Field (IBM T.J. Watson Research Laboratory) Michael Hicks (University of Maryland)
Swarat Chaudhuri Adam Chlipala Dan R. Ghica Aarti Gupta
Chris Hawblitzel Suresh Jagannathan Ranjit Jhala Sorin Lerner Ondrej Lhotak
P. Madhusudan Rupak Majumdar Matthew Might Todd Millstein Greg Morrisett Andrew Myers Matthew Parkinson Frank Piessens Andrew Pitts Andreas Podelski Francois Pottier Norman Ramsey Tachio Terauchi Mandana Vaziri Dmitrios Vytiniotis Nobuko Yoshida Francesco Zappa Nardelli
Umut Acar, MPI-SWS Rajeev Alur, Penn Josh Berdine, MSR Cambridge Emery Berger, UMass Hans Boehm, HP Labs Ahmed Bouajjani, Paris
(Pennsylvania State University, USA) (Harvard University, USA) (University of Birmingham, UK) (NEC Labs America)
(Microsoft Research, Redmond, USA) (Purdue University, USA) (University of California, San Diego, USA) (University of California, San Diego, USA) (University of Waterloo, Canada) (University of Illinois, Urbana-Champaign, USA) (MPI-SWS)
(University of Utah, USA) (University of California, Los Angeles, USA) (Harvard University, USA) (Cornell University, USA) (Microsoft Research, Cambridge, UK) (K.U. Leuven, Belgium) (University of Cambridge, UK) (University of Freiburg, Germany) (INRIA, France) (Tufts University, USA) (Tohoku University, Japan) (IBM Research) (Microsoft Research, Cambridge, UK) (Imperial College, London, UK) (INRIA, France)
David Brumley, CMU Bor-Yuh (Evan) Chang, Colorado James Cheney, Edinburgh Koen Claessen, Chalmers William Cook, UT Austin Derek Dreyer, MPI-SWS John Field, IBM T.J. Watson Robby Findler, Northwestern Cormac Flanagan, UCSC Jeff Foster, Maryland Nate Foster, Cornell Patrice Godefroid, MSR Redmond Andy Gordon, MSR Cambridge Dan Grossman, Washington Rajiv Gupta, UC Riverside Kohei Honda, Queen Mary Joxan Jaffar, Singapore Somesh Jha, Wisconsin Patty Johann, Strathclyde Neel Krishnaswami, MSR Cambridge Viktor Kuncak, EPFL Paul Levy, Birmingham Yitzhak Mandelbaum, AT&T Roman Manevich, UT Austin Ken McMillan, MSR Mayur Naik, Intel Aditya Nori, MSR Bangalore Luke Ong, Oxford Erez Petrank, Technion Simon Peyton Jones, MSR Cambridge Brigitte Pientka, McGill Mark Ryan, Birmingham Andrey Rybalchenko, T.U. Munchen Vijay Saraswat, IBM T.J. Watson Helmut Seidl, T.M. Munchen Peter Sewell, Cambridge Chung-chieh Shan, Rutgers Zhong Shao, Yale Satnam Singh, MSR Cambridge Yannis Smaragdakis, UMass Manu Sridharan, IBM T.J. Watson Sam Staton, Cambridge Zhendong Su, UC Davis Nikhil Swamy, MSR Redmond Ashish Tiwari, SRI
Stavros Tripakis, VERIMAG Jean-Baptise Tristan, Harvard Martin Vechev, IBM T.J. Watson David Walker, Princeton Stephanie Weirich, UPenn
Adam Welc, Intel Kwangkeun Yi, Seoul Steve Zdancewic, UPenn Noam Zeilberger, University of Paris 7