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

maintained by Schloss Dagstuhl LZI at University of Trier