SCOPES 2009: Nice, France

[–] 

Refine list

showing all ?? records

Compilation and optimization

Keynote talk

Domain-specific languages

Validation and verification