Composable, sound transformations of nested recursion and loops

K Sundararajah, M Kulkarni - Proceedings of the 40th ACM SIGPLAN …, 2019 - dl.acm.org
Scheduling transformations reorder a program's operations to improve locality and/or
parallelism. The polyhedral model is a general framework for composing and applying …