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

maintained by Schloss Dagstuhl LZI at University of Trier