Multi-core processors, and parallel processing in general, are now broadly used. Their horizon of applications ranges from mobile platforms to high-performance computing. However, allowing non-expert programmers to harness the parallelism in recent hardware requires significant advances in the entire compilation chain. It also means that the general forms of sequential programs, e.g., with while loops and data-dependent control structures, should be amenable to parallelization.