Rec2poly Converting Recursions To Polyhedral

Salwa Kobeissi, Alain Ketterlin and Philippe Clauss In this paper, we propose

Cambridge Yang (MIT CSAIL) Eric Atkinson (MIT CSAIL) Michael Carbin (Massachusetts Institute of Technology) Paper: ...

Nathanaël Courant (INRIA) Xavier Leroy (Collège de France) Paper: https://dl.acm.org/doi/pdf/10.1145/3434321 The

Polyhedral

So if we apply this

In this video I talk about how

This is a slight re-do of a talk I gave to Fred Kjolstad and Pat Hanrahan's CS343D course at Stanford University.

In this video I describe a legal, but inefficient way to generate for loops from a

This is a slight re-do of a talk I gave to Fred Kjolstad and Pat Hanrahan's CS343D course at Stanford University.

With multicore processors, hardware accelerators, and deep memory hierarchies remaining the main sources of performance and ...

This talk presents an automatic compilation framework that optimizes static loop programs over arrays for linear-latency memories ...

In this video I use a simple example to explain the ideas behind

http://llvm.org/devmtg/2010-11/ — Polly -