Discussion on polyhedral optimization in compilers and the role of the Integer Set Library (ISL).
Polyhedral optimization is a tool used in compilers for optimizing loop nests. While the major compilers that use this implement polyhedral optimizations from scratch,1 there is a generally-applicable open source C library called the Integer Set Library (ISL) that implements the core algorithms used in polyhedral optimization.
No takes yet. Share an insight, caveat, or question.
Jeremy Kun (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: