PLDI 2013 - PLDI '13 ACM SIGPLAN Conference on Programming Language Design and Implementation

PLDI is a forum where researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages.

PLDI seeks original research papers that focus on the design, implementation, development, and use of programming languages.

PLDI emphasizes innovative and creative approaches to compile-time and runtime technology; novel language designs and features; and results from implementations.

Topics

Papers are solicited for, but not limited to, the following:

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