PLDI 2009: Dublin, Ireland

Michael Hind, Amer Diwan (Eds.): Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. ACM 2009, ISBN 978-1-60558-392-1 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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