posted by user: mad || 16204 views || tracked by 52 users: [display]

PLDI 2013 : 34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation


Conference Series : Programming Language Design and Implementation
When Jun 16, 2013 - Jun 21, 2013
Where Seattle, Washington, USA
Submission Deadline Nov 11, 2012
Notification Due Feb 5, 2013
Categories    programming languages

Call For Papers

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

Important Dates

Paper submission: 11 November 2012 (Anywhere on Earth)
Rebuttal period: 15-17 January 2013
Notification: 5 February 2013


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 at

Submissions must be in PDF and printable on US Letter and A4 sized paper.

To enable double-blind reviewing, author names and their affiliations must be omitted from submissions, and 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). If you have questions about the logistics for the double-blind reviewing process, please look at the FAQ page.

Papers must describe unpublished work that is not currently submitted for publication elsewhere as discussed at

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


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.

TOPLAS session

This year's PLDI will include a session presenting recent TOPLAS papers. Original papers submitted to TOPLAS before October 1, 2012 can be considered for presentation at PLDI 2013; authors should put a note in their cover letter to indicate interest. These papers will not appear in the PLDI proceedings. For more information, see

Related Resources

PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
iccq 2023   The Third International Conference on Code Quality
PLACES 2023   14th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
FORTE 2023   43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
PPoPP 2023   PPoPP 2023 : The 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
RC 2023   Reversible Computation
JEDT 2022   International Journal of Electronic Design and Test
IJPLA 2022   International Journal of Programming Languages and Applications