PLDI 2004: Washington, DC, USA

Safety checking

Threads

Parallelization

Potpourri

Pointer analysis and BDDs

Compiler and simulator construction

Program analysis

Memory management

Register allocation

a service of Schloss Dagstuhl - Leibniz Center for Informatics