, Parma Polyhedral Library, 2004.
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
Adjusting a program transformation for legality, vol.15, pp.3-17, 2005. ,
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
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
Automatic Memory Layout Transformation to Optimize Spatial Locality in Parameterized Loop Nests, Computer Architecture News, vol.28, p.1, 2000. ,
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. ,
Random Testing, Encyclopedia of Software Engineering, 1994. ,
Polyhedral Tensor Schedulers, THe 2019 International Conference on High Performance Computing and Simulation (HPCS 2019, 2019. ,
R-Stream Compiler, Encyclopedia of Parallel Computing, 2011. ,
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. ,
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
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. ,
Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica, vol.48, pp.37-66, 2007. ,
Random search algorithms, 2009. ,