Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation