PLDI 2004: Washington, DC, USA

Safety checking

Threads

Parallelization

Potpourri

Pointer analysis and BDDs

Compiler and simulator construction

Program analysis

Memory management

Register allocation

maintained by Schloss Dagstuhl LZI, founded at University of Trier