25. CC 2016: Barcelona, Spain

Speculation

Run-Time Techniques

Verified Compilation

Verification

Energy and Dynamic Checking

Static and Dynamic Optimization

Static Analysis

Data Layout and Polyhedral Techniques

Tool Demonstrations

a service of Schloss Dagstuhl - Leibniz Center for Informatics