Polyhedral Compilation及ISL学习资料
Polyhedral Compilation：多面体编译
ISL：一个用于操作由线性约束条件约束的整数点的集合和关系的库。主要作为实现Polyhedral Compilation的数学工具库。
官方资料
Integer Set Library: Manual ISL官方使用手册。包含C++端详细的API/函数介绍，实现细节，应用例子等。由于实在太长不建议新手上来直接看，可以更多的作为入门后的工具书。
islpy’s documentation ISL在python端的官方文档。包含简单的介绍和类及函数列表。
Presburger Formulas and Polyhedral Compilation 完整介绍了关于集合，关系的基础数学知识，以及多面体编译中是如何用这些数学工具来实现相关功能的。同时搭配实际例子和各种运算在ISL中对应的API，强烈推荐。
polyhedral.info 提供关于多面体编译社区的信息，包括最新的发展以及现有工作的概述。资料非常丰富，可以慢慢看
isl: An Integer Set Library for the Polyhedral Model 对ISL的简单介绍，入门者可看
barvinok: User Guide barvinok这个库的使用手册。可以只看第一章isl interface。
Polyhedral Compilation and Counting 介绍如何做Polyhedral相关的counting。例如计算代码中一个instance（语句）运行的次数，或某个array element被写/读的次数，或被写的array elements的个数等。
Polyhedral Parallel Code Generation for CUDA 介绍PPCG：一个使用ISL和Polyhedral Compilation，通过分析，分配并行性将C代码转化为高性能CUDA代码的项目
Schedule Trees Schedule Trees 介绍Schedule Trees：将代码的schedule(调度)用树的形式表示
ISL GoogleGroup ISL社区，有不懂的可以在上面提问讨论，Sven大佬会经常回复，非常推荐！
Demo与测试
ISL Playground in Python 在线playground，可以在这里上手python端的ISL。另外强烈推荐此网站中的Examples，新手最好都过一遍，对理解和上手ISL和Polyheral Compilation非常有帮助。
中文社区资料
Polyhedral编译调度算法(1,2,3) 知乎@要术甲杰大佬的文章，对具体算法原理感兴趣的话强烈推荐
编译器领域的多面体模型（Polyhderal Model） 知乎@立交桥跳水冠军 的文章，对上面文章的很好补充
Polyhedral Model—AI芯片软硬件优化利器（一，二，三） @要术甲杰在公众号上的文章，对Polyhedral Model在工程上的应用感兴趣的话强烈推荐
ISL使用方法 csdn上 @wangbowj123 的文章，介绍了一些ISL中简单的类和函数。
多面体编译基础(一) ， (二) csdn上 @BEN_csdn_XJTU 的文章，对多面体编译和涉及到的数学概念进行了简单的介绍，适合入门者