37. POPL 2010: Madrid, Spain

Invited talk

Concurrency

Static analysis I

Verified compilers

Type inference

Invited talk

Reasoning about programs

Static analysis II

Verification

Types

Program synthesis

Relating and integrating static and dynamic checks

Compilers

Security and ownership

Medley