26. OOPSLA 2011: Portland Oregon, USA - Proceedings

Keynote

Catching concurrency bugs

Synthesis and analysis

Tools for reliability and testing

Parallelizing compilers

Memory management

Specification and verification tools

Award papers

Language implementation I

Parallel/concurrent programming I

Type systems I

Empirical results

Language design

Language implementation II

Parallel/concurrent programming II

Reflection and meta-programming

Type systems II

Program analysis