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 explicitly uses a well-defined four-level IR that allows full separation between algorithms , schedules, data-layouts and communication.