Before revision:  Tiramisu relies on a flexible representation based on the polyhedral model and introduces a novel four-level IR that allows full separation between algorithms , schedules, data-layouts  and communication.
After revision:  Tiramisu relies on a flexible representation based on the polyhedral model and introduces a novel four-level IR that allows full separation between the algorithms, loop transformations , schedules, data-layouts and communication.