Session 8: Static Program Analysis and Optimization

When:
February 11, 2015 @ 9:40 am – 10:55 am
2015-02-11T09:40:00-08:00
2015-02-11T10:55:00-08:00
Contact:
Session Chair: Jingyue Wu

PSLP: Padded SLP Automatic Vectorization
Vasileios Porpodas (University of Cambridge), Alberto Magni (University of Edinburgh), and Timothy M. Jones (University of Cambridge)

A Graph-Based Higher-Order Intermediate Representation
Roland Leißa, Marcel Köster, and Sebastian Hack (Saarland University)

Scalable Conditional Induction Variable (CIV) Analysis
Cosmin E. Oancea (University of Copenhagen) and Lawrence Rauchwerger (Texas A&M University)