Calls 征稿启事

PLDI is a forum for the exchange of information on programming languages, their design, implementation, development, and use. PLDI emphasizes innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. Papers are solicited on, but not limited to, the following topics:

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

Submissions

Submissions must be in ACM proceedings format, 9-point type, and may not exceed 10 pages (all inclusive). Word and LaTeX templates for this format are available here. Submissions must be in PDF, printable on US Letter and A4 sized paper. To enable double-blind reviewing, submissions must adhere to two rules:

  1. author names and their affiliations must be omitted; and,
  2. references to related work by the authors should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ...").

However, 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). Papers must describe unpublished work that is not currently submitted for publication elsewhere as discussed here. Authors of accepted papers will be required to sign an ACM copyright release.

If you have questions about the logistics for the double-blind reviewing process, please look at this FAQ page. The PLDI 2012 organizers gratefully acknowledge Michael Hicks for putting together the original version of this document that was used at POPL 2012.

Papers must be submitted electronically through the PLDI 2012 submission site. Please note that, as part of your submission, you will be asked to enter a short abstract of 150 words that will be used by reviewers to decide if they want to review your paper. The abstract in the paper itself may be longer than 150 words, though we recommend that you keep it short. The deadline of submission is November 6, 2011, 23:59:59 Pago Pago, American Samoa time.

Evaluation

The program committee and the external review 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, 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.

Publication of Software and Experimental Data

As part of publishing accepted papers in the ACM Digital Library, we are encouraging authors to submit with their final manuscripts software and experimental data that was used to derive the results of their paper. This type of information is important for archival purposes and can be used by others to replicate the experiments or otherwise gain a deeper knowledge of the work.

| pdf |



Proposals are invited for workshops and tutorials to be co-located with PLDI. Events can either be sponsored by SIGPLAN/SIGSOFT or supported through in-cooperation status. The preference is for one-day workshops and half-day tutorials, but other schedules can also be considered. All co-located events will be held on June 15 or June 16, 2012.

Submission details

A workshop proposal should provide the following information.

A Preliminary Call For Workshop Papers, including:

  • Name of the workshop
  • Number of days for the workshop
  • An abstract: 150-200 words describing the workshop
  • A summary of the workshop format: e.g., refereed papers or short papers or brainstorming sessions. How will submissions be reviewed?
  • A description of how the workshop papers and results will be disseminated
  • References to previous workshops on the same/similar topic

About Each Organizer:

  • Name, affiliation, and contact information
  • Primary contact: identify one organizer as the primary contact
  • A brief biograph focusing on the organizer's expertise in the field and experience as a workshop organizer

Expected Participants:

A brief discussion about the expected workshop participants. Historic numbers of participants can be provided if available.

A tutorial proposal should include the following information.

  • Name of the tutorial
  • Number of days for the tutorial
  • An abstract: 150-200 words describing the tutorial, suitable for the PLDI Web site
  • A summary of the tutorial format
  • References to previous offerings of the tutorial if any, and previous numbers of participants
  • A brief discussion about the expected audience

Submission and Review

Proposals should be submitted by email to the workshop co-chairs Xiangyu Zhang (xyzhang at cs.purdue.edu) and Chengyong Wu (cwu at ict.ac.cn). Workshop and tutorial proposals will be evaluated by the workshop co-chairs as they arrive. Notifications will be sent out in two weeks after submissions. Therefore, proposal acceptance will be on a first-come-first-served basis. The number of accepted proposals will be limited by the available hotel conference rooms.

Dissemination of Workshop Results

A proposal should clearly state how the results of the workshop will be made available to participants and others, both before and after the workshop event. The PLDI 2012 Workshop Co-Chairs will provide guidance for publishing proceedings in the ACM Digital Library.

| pdf | htm |