PLDI 2011: San Jose, CA, USA

Parallel programming notations

Program synthesis

Program optimization I

Domain specific languages and their compilers

Program optimization II

Memory models

Program verification I

Debugging I

Compiler correctness

Transforming and editing by example

Security

Concurrency defects

Singular topics

Debugging II

Program parallelization

Program paths

Program verification II

Program analysis

Taming wildcards

Concurrent programming