38. POPL 2011: Austin, TX, USA

Invited talk

Point analyis

Semi-automated verification

Static analysis

Semantic models and translations

Shape analysis

Type abstractions

Invited talk

Separation logic

Automata

Synthesis

Algebra

Model checking

Types

Invited talk

Complexity

Medley

Compilation

Verification

8.1 + 8.2