SCOPES 2009: Nice, France

Compilation and optimization

Keynote talk

Domain-specific languages

Validation and verification