PLDI 2009: Dublin, Ireland

Adaptation

Program analysis for security

Races and deadlocks

Transactions, locks, and parallelism

Foundations

Memory and errors

Types

Optimizations and proofs

Program analysis and invariants

Memory management and bloat

Parallelism, performance, and traces