, TVM: An End to End IR Stack for Deploying Deep Learning Workloads on Hardware Platforms, 2017.

L. Bagnères, O. Zinenko, S. Huot, and C. Bastoul, Opening Polyhedral Compiler's Black Box, Proceedings of the 2016 International Symposium on Code Generation and Optimization (CGO '16, pp.128-138, 2016.

C. Chen, J. Chame, and M. Hall, CHiLL: A framework for composing high-level loop transformations, 2008.

A. Cohen, M. Sigler, S. Girbal, O. Temam, D. Parello et al., Facilitating the Search for Compositions of Program Transformations, Proceedings of the 19th Annual International Conference on Supercomputing (ICS '05), pp.151-160, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01257296

S. Donadio, J. Brodman, T. Roeder, K. Yotov, D. Barthou et al., A Language for the Compact Representation of Multiple Program Versions, pp.136-151, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00141067

A. Klöckner, Py: Transformation-based Code Generation for GPUs and CPUs, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, vol.82, 2014.

A. Klöckner, C. Lucas, T. Wilcox, and . Warburton, Py by Example: High-order Finite Elements, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, pp.9-16, 2016.

R. Müller-pfefferkorn, W. E. Nagel, and B. Trenkler, Optimizing Cache Access: A Tool for Source-to-Source Transformations and Real-Life Compiler Tests, Euro-Par 2004 Parallel Processing, pp.72-81, 2004.

J. Ragan-kelley, C. Barnes, A. Adams, S. Paris, F. Durand et al., Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '13), pp.519-530, 2013.

M. Steuwer, C. Fensch, S. Lindley, and C. Dubach, Generating Performance Portable Code Using Rewrite Rules: From High-level Functional Expressions to High-performance OpenCL Code, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pp.205-217, 2015.

M. Steuwer, T. Remmelg, and C. Dubach, Lift: A Functional Data-parallel IR for High-performance GPU Code Generation, Proceedings of the 2017 International Symposium on Code Generation and Optimization (CGO '17), pp.74-85, 2017.

J. Stoy, Denotational Semantics, 1977.

A. Susungi, N. A. Rink, J. Castrillón, I. Huismann, A. Cohen et al., Towards Compositional and Generative Tensor Optimizations, Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, pp.169-175, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01666818

Q. Yi, K. Seymour, H. You, R. Vuduc, and D. Quinlan, POET: Parameterized Optimizations for Empirical Tuning, IEEE International Parallel and Distributed Processing Symposium. 1-8, 2007.