| 10:00-10:40 |
COCONUT: A user tool to produce high-performance signal processing code together with certificates of correctness Christopher Anand - McMaster University |
| 10:40-11:10 |
Constraint programming for compiler optimization Part II Peter van Beek and Abid Malik - Univ. of Waterloo |
| 11:10-11:40 |
Porting and Tuning Inline-Threaded Interpreters Etienne Gagnon and Grzegorz Prokopski - Universite' du Que'bec `a Montre'al (UQAM) |
| 11:40-12:00 |
Optimizing Numerics for the Memory Hierarchy Siddhartha Chatterjee - IBM Research |
| 12:00-01:00 | Lunch |
| 01:00-01:40 |
Future Challenges in Dynamic Interprocedural Analysis and Optimization Vivek Sarkar - IBM T. J. Watson Research Center |
| 01:40-02:10 |
Compiler Management of Global and Dynamic Data Reuse Chen Ding - University of Rochester |
| 02:10-02:40 |
Generalized Index Set Splitting Arie Tal - IBM Toronto |
| 02:40-02:50 | Break |
| 02:50-03:20 |
Generic IDL: Parametric Polymorphism for Software Component Architectures Cosmin Oancea and Stephen Watt - Univ. of Western Ontario |
| 03:20-03:50 |
XJit: A Framework for Self-Optimizing Libraries Hamza Karamali, Derek Woo and Mike Voss - University of Toronto |
| 03:50-04:10 |
Improving Inlining Decisions in the Open Research Compiler Peng Zhao and Jose' Nelson Amaral - University of Alberta |
| 04:10-04:40 |
Analysis Of Bytecode Generated By The XSLTC Stylesheet Compiler Allan Kielstra and Henry Zongaro - IBM Toronto |