CALL FOR PAPERS

ACM SIGPLAN 2010 Conference on
Programming Language Design and Implementation (PLDI)

June 5-10, 2010, Toronto Canada

Sponsored by ACM SIGPLAN in cooperation with ACM SIGSOFT

http://cs.stanford.edu/pldi10

Scope of the Technical Program. The PLDI conference seeks original research papers that focus on issues in the design, development, implementation, evaluation, and use of programming languages. Papers are solicited on, but not limited to, the following topics:

● Language designs and extensions ● Parallelism, both implicit and explicit
● Static and dynamic analysis of programs ● Performance analysis, evaluation, and tools
● Domain-specific languages and tools ● Novel programming models
● Type systems and program logics ● Debugging techniques and tools
● Program transformation and optimization Program understanding
Checking or improving the security or correctness of programs ● Interaction of compilers and run-time systems with underlying systems
● Memory management

Submission. Submissions may not exceed 10 pages formatted according to the ACM proceedings format. These 10 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.

In keeping with recent PLDI conferences, submission is double-blind. For PLDI'10, submissions must adhere to two rules: (1) author names and institutions must be omitted and (2) references to your 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).

NOTICE: There is an option on the paper submission page to submit supplementary material, e.g., a tech report including proofs. This supplemental material need NOT be anonymized; it will be made available to reviewers after the intial reviews have been done. As usual, reviewers may choose to use the supplemental material or not at their discretion.

Papers must describe unpublished work that is not currently submitted for publication elsewhere, including journals and proceedings of refereed conferences and workshops (c.f., http://www.acm.org/sigs/sigplan/republicationpolicy.htm). Authors of accepted papers will be required to sign an ACM copyright release.

Evaluation. The program committee will evaluate the technical contribution of each submission as well as its general accessibility to the PLDI audience. Papers will be judged on significance, originality, relevance, correctness, and clarity. The paper must be organized so that it is easily understood by an audience with varied expertise. The paper should clearly identify what has been accomplished, why it is significant, and how it relates to previous work.

Important Dates.

  • Abstract deadline: Friday, November 13th, 11:59:59 p.m. PST
  • Paper deadline: Friday, November 20th, 11:59:59 p.m. PST
  • Rebuttal period: Wednesday, January 13th to Friday, January 15th (NOTE: Extended to Sunday, January 17th)
  • Notification: Tuesday, February 2nd

General Chair

Benjamin Zorn
Microsoft Research
Ben.Zorn@microsoft.com

Program Chair

Alex Aiken
Stanford University
aiken@cs.stanford.edu

Publicity Chair

Chen Ding
University of Rochester

Tutorials Chair

Michael Hicks
University of Maryland, College Park

Workshops Chair

Ranjit Jhala
University of California, San Diego

Student Research
Competition Chair

Ben Liblit
University of Wisconsin–Madison

Fun and Interesting
Thoughts Session Chair

Christos Kozyrakis
Stanford University

Program Committee

Vikram Adve, UIUC Jonathan Aldrich, CMU David F. Bacon, IBM Research
Ras Bodik, UC Berkeley Radhia Cousot, CNRS / École Normale Supérieure Evelyn Duesterwald, IBM Research
David Gay, Intel Labs Robert Grimm, NYU Sumit Gulwani, Microsoft Research, Redmond
Ranjit Jhala, UC San Diego Richard Jones, University of Kent Christos Kozyrakis, Stanford University
Calvin Lin, UT Austin Ana Milanova, RPI Andrew Myers, Cornell University
Simon Peyton-Jones, Microsoft Research, Cambridge Sriram Rajamani, Microsoft Research, India Vivek Sarkar, Rice University
Mary Lou Soffa, University of Virginia Zhendong Su, UC Davis Jan Vitek, Purdue University
David Walker, Princeton University    

 

External Review Committee

The external review committee provides most of the external reviews for PLDI.

Saman Amarasignhe, MIT Thomas Ball, Microsoft Research, Redmond Emery Berger, University of Massachusetts, Amherst
Steve Blackburn, Australian National University Hans Boehm, HP Labs Michael Bond, UT Austin
Chandrasekhar Boyapati, U. Michigan David Chase, SUN Labs Cliff Click, Azul Systems
Byron Cook, Microsoft Research, Cambridge Jeff Dean, Google David Detlefs, Microsoft
Matthew Dwyer, University of Nebraska David Evans, Univeristy of Virginia John Field, IBM Research
Kathleen Fisher, AT&T Research Cormac Flanagan, UC Santa Cruz Guang Gao, University of Delaware
Neal Glew, Intel Patrice Godefroid, Microsoft Research, Redmond Rajiv Gupta, UC Riverside
Sam Guyer, Tufts University Mary Hall, University of Utah Klaus Havelund, NASA/JPL
Fritz Henglein, DIKU Michael Hicks, University of Maryland, College Park Michael Hind, IBM Research
Ben Liblit, University of Wisconsin–Madison Jens Knoop, TU Vienna Viktor Kuncak, EPFL
Monica Lam, Stanford University Peter Lee, Carnegie Mellon University Sorin Lerner, UC San Diego
Xavier Leroy, INRIA Rupak Majumdar, UC Los Angeles Mayur Naik, Intel Labs
David Padua, U. Illinois Santosh Pande, Georgia Tech Benjamin Pierce, University of Pennsylvania
Keshav Pingali, UT Austin Lori Pollock, University of Delaware Bill Pugh, University of Maryland
Shaz Qadeer, Microsoft Research, Redmond Jakob Rehof, Technical University of Dortmund and Fraunhofer-ISST Anne Rogers, University of Chicago
Vijay Saraswat, IBM Research Zhong Shao, Yale University Mike Smith, Harvard University
Armando Solar-Lezama, MIT Manu Sridharan, IBM Research Bjarne Steensgaard, Microsoft
Tachio Terauchi, Tohoku University William Thies, Microsoft Research, India Frank Tip, IBM Research
Westley Weimer, University of Virginia Stephanie Weirich, University of Pennsylvania Weng-Fai Wong, National University of Singapore