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

maintained by Schloss Dagstuhl LZI at University of Trier