36. POPL 2009: Savannah, GA, USA

Invited talk

Concurrency

Types I

Medley I

Static analysis I

Invited talk

Functional programming

Medley II

Static analysis II

Static analysis III

Invited talk

Program logics

Types II

Multicore

Verification