posted by user: mich || 12948 views || tracked by 40 users: [display]

PLDI 2012 : Programming Language Design and Implementation

FacebookTwitterLinkedInGoogle


Conference Series : Programming Language Design and Implementation
 
Link: http://pldi12.cs.purdue.edu/
 
When Jun 11, 2012 - Jun 16, 2012
Where Beijing, China
Submission Deadline Nov 6, 2011
Notification Due Feb 2, 2012
Categories    programming language
 

Call For Papers

Programming Language Design and Implementation — 11–16 June, Beijing

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

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:

author names and their affiliations must be omitted; 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). 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.
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.

Related Resources

PLDI 2023   The 44th ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI 2022   The 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation
CLNLP 2022   2022 3rd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2022)
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
IFL 2022   The 34th Symposium on Implementation and Application of Functional Languages
OSDI 2022   16th USENIX Symposium on Operating Systems Design and Implementation
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
NSDI 2022   19th USENIX Symposium on Networked Systems Design and Implementation
NATP 2022   9th International Conference on Natural Language Processing