PLDI 2010: Toronto, Ontario, Canada

Dynamic analysis

Improving parallelism 1

Invited talk

Verification

Heap management

Singular topics

Managing concurrency 1

Static analysis and synthesis

Managing concurrency 2

Improving parallelism 2

Types

Optimization