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


Concurrency defects

Singular topics

Debugging II

Program parallelization

Program paths

Program verification II

Program analysis

Taming wildcards

Concurrent programming

maintained by Schloss Dagstuhl LZI, founded at University of Trier