Finding quadratic schedules for affine recurrence equations via nonsmooth optimization, Journal of VLSI Signal Processing, vol.25, pp.235-260, 2000. ,
Points entiers dans les polyedres convexes, Ann. Sci. Ecole Normale Supérieure, vol.21, issue.4, pp.653-663, 1988. ,
Counting solutions to linear and nonlinear constraints through ehrhart polynomials: Applications to analyze and transform scientific programs, 10th ACM Int. Conf. on Supercomputing, ICS'96, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-01100306
Automatic collapsing of non-rectangular loops, IEEE Int. Parallel and Distributed Processing Symposium (IPDPS), pp.778-787, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01581081
A symbolic approach to bernstein expansion for program analysis and optmization, LNCS, pp.120-133, 2004. ,
Static analysis of openstream programs, 6th International Workshop on Polyhedral Compilation Techniques, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01251845
Exact and approximated data-reuse optimizations for tiling with parametric sizes, 24th Compiler Construction Int. Conf. (CC'15), part of ETAPS'15, pp.151-170, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01099017
Polynomes arithmétiques et méthodes des polyèdres en combinatoire, International Series of Numerical Mathematics, vol.35, 1977. ,
Scalable and structured scheduling, International Journal of Parallel Programming, vol.34, issue.5, pp.459-487, 2006. ,
The power of polynomials, 5th International Workshop on Polyhedral Compilation Techniques, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01094787
The polyhedron model, Encyclopedia of Parallel Programming, 2011. ,
Improving the performance of x10 programs by clock removal, Compiler Construction CC 2014, number 8409 in LNCS, pp.113-132, 2014. ,
The Challenge of Non-linear Parameters and Variables in Automatic Loop Parallelisation, pp.739-17893, 2009. ,
Parametric Multi-level Tiling of Imperfectly NestedLoops, Intl. Conf. on Supercomputing (ICS), pp.147-157, 2009. ,
Cart: Constant aspect ratio tiling, Proceedings of the 4th International Workshop on Polyhedral Compilation Techniques, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00915827
, , 2017.
Multi-level tiling: M for the price of one, Proceedings of the 2007 ACM/IEEE Conference on Supercomputing, SC '07, vol.51, pp.1-51, 2007. ,
Precise datalocality optimization of nested loops, The Journal of Supercomputing, vol.21, issue.1, pp.37-76, 2002. ,
Delinearization: An efficient way to break multiloop dependence equations, SIGPLAN Not, vol.27, issue.7, pp.152-161, 1992. ,
A scheduling framework for spatial architectures across multiple constraint-solving theories, ACM Trans. Program. Lang. Syst, vol.37, issue.1, 2014. ,
Openstream: Expressiveness and Dataflow Compilation of, OpenMP Streaming Programs. ACM TACO, vol.9, issue.4, p.53, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00786675
X10 language specification version 2.2, 2012. ,
isl: An integer set library for the polyhedral model, International Congress on Mathematical Software (ICMS 2010), p.6327, 2010. ,
Revisiting loop transformations with X10 clocks, Proceedings of the ACM SIGPLAN Workshop on X10, X10'15, pp.1-6, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01253630