R. Bagnara, P. M. Hill, and E. Zaffanella, Parma Polyhedral Library, 2004.

C. Bastoul, Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality, CC'2016 25th International Conference on Compiler Construction, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01271998

C. Bastoul and P. Feautrier, Adjusting a program transformation for legality, vol.15, pp.3-17, 2005.

P. Clauss, Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs, Proceedings of the 10th International Conference on Supercomputing (ICS '96), pp.278-285, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01100296

P. Clauss and V. Loechner, Parametric Analysis of Polyhedral Iteration Spaces, J. VLSI Signal Process. Syst, vol.19, pp.179-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00534840

. Ph, B. Clauss, and . Meister, Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests, Computer Architecture News, vol.28, p.1, 2000.

. Ph, I. Clauss, and . Tchoupaeva, A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization, 13th International Conference on Compiler Construction, CC 2004 (LNCS), Evelyn Duesterwald, vol.2985, pp.120-133, 2004.

R. Hamlet, Random Testing, Encyclopedia of Software Engineering, 1994.

B. Meister, E. Papenhausen, and B. Pradelle, Polyhedral Tensor Schedulers, THe 2019 International Conference on High Performance Computing and Simulation (HPCS 2019, 2019.

B. Meister, N. Vasilache, D. Wohlford, M. Baskaran, A. Leung et al., R-Stream Compiler, Encyclopedia of Parallel Computing, 2011.

B. Meister and S. Verdoolaege, Polynomial Approximations in the Polytope Model: Bringing the Power of Quasi-Polynomials to the Masses, ODES-6: 6th Workshop on Optimizations for DSP and Embedded Systems, 2008.

L. Pouchet, C. Bastoul, A. Cohen, and N. Vasilache, Iterative optimization in the polyhedral model: Part I, one-dimensional time, IEEE/ACM Fifth International Symposium on Code Generation and Optimization (CGO'07), pp.144-156, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01257281

S. Verdoolaege, isl: an integer set library for the polyhedral model, Proceedings of the Third international congress conference on Mathematical software (ICMS'10), pp.299-302, 2010.

S. Verdoolaege, R. Seghir, K. Beyls, V. Loechner, and M. Bruynooghe, Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica, vol.48, pp.37-66, 2007.

Z. Zabinsky, Random search algorithms, 2009.