R. Baghdadi, U. Beaugnon, A. Cohen, T. Grosser, M. Kruse et al., PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming, 2015 International Conference on Parallel Architecture and Compilation (PACT), pp.138-149, 2015.
DOI : 10.1109/PACT.2015.17
URL : https://hal.archives-ouvertes.fr/hal-01257236

S. Balay, . Abhyankar, . Adams, . Brown, . Brune et al., PETSc users manual revision 3.5. Argonne National Laboratory, 2014.

C. Bastoul, Code generation in the polyhedral model is easier than you think, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., pp.7-16, 2004.
DOI : 10.1109/PACT.2004.1342537
URL : https://hal.archives-ouvertes.fr/hal-00017260

N. Bell and M. Garland, Implementing sparse matrixvector multiplication on throughput-oriented processors, Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2009.

M. Benabderrahmane, L. Pouchet, A. Cohen, and C. Bastoul, The Polyhedral Model Is More Widely Applicable Than You Think, Proceedings of 19th International Conference on Compiler Construction, pp.283-303, 2010.
DOI : 10.1007/978-3-642-11970-5_16
URL : https://hal.archives-ouvertes.fr/inria-00551087

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A Practical Automatic Polyhedral Parallelizer and Locality Optimizer, Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.101-113, 2008.

A. Buluç and J. R. Gilbert, The Combinatorial BLAS: Design, implementation, and applications, International Journal of High Performance Computing Applications, pp.496-509, 2011.

J. Collard, Space-time transformation of whileloops using speculative execution, Proceedings of the Scalable High- Performance Computing Conference, pp.429-436, 1994.

J. Collard, Automatic parallelization ofwhile-loops using speculative execution, International Journal of Parallel Programming, vol.634, issue.1, pp.191-219, 1995.
DOI : 10.1007/3-540-55895-0_467

J. Collard, D. Barthou, and P. Feautrier, Fuzzy array dataflow analysis, ACM Symposium on Principles and Practice of Parallel Programming, pp.92-102, 1995.

A. Timothy, Y. Davis, and . Hu, The University of Florida sparse matrix collection, ACM Trans. Math. Software, vol.38, issue.1, pp.1-1, 2011.

M. Geigl, M. Griebl, and C. Lengauer, A scheme for detecting the termination of a parallel loop nest, Proc. GI/ITG FG PARS 98, 1998.

M. Geigl, M. Griebl, and C. Lengauer, Termination detection in parallel loop nests with while loops, Parallel Computing, vol.25, issue.12, pp.12-1489, 1999.
DOI : 10.1016/S0167-8191(99)00063-0

M. Griebl and J. Collard, Generation of synchronous code for automatic parallelization of while loops, Proceedings of the 1st International Euro-Par Conference on Parallel Processing, pp.313-326, 1995.
DOI : 10.1007/BFb0020474

M. Griebl and C. Lengauer, On scanning space-time mapped while loops, Proceedings of 3rd Joint International Conference on Vector and Parallel Processing, pp.677-688, 1994.
DOI : 10.1007/3-540-58430-7_59

T. Grosser, S. Verdoolaege, and A. Cohen, Polyhedral AST Generation Is More Than Scanning Polyhedra, ACM Transactions on Programming Languages and Systems, vol.37, issue.4, pp.1-1250, 2015.
DOI : 10.1109/CODES-ISSS.2013.6659002
URL : https://hal.archives-ouvertes.fr/hal-01257239

A. Jimborean, P. Clauss, J. Dollinger, V. Loechner, and J. Caamaño, Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons, International Journal of Parallel Programming, vol.30, issue.3, pp.529-545, 2014.
DOI : 10.1017/S095679680200463X
URL : https://hal.archives-ouvertes.fr/hal-00825738

Y. Low, D. Bickson, J. Gonzalez, C. Guestrin, A. Kyrola et al., Distributed GraphLab, Proceedings of the VLDB Endowment, pp.716-727, 2012.
DOI : 10.14778/2212351.2212354

J. Mellor-crummey and J. Garvin, Optimizing Sparse Matrix???Vector Product Computations Using Unroll and Jam, The International Journal of High Performance Computing Applications, vol.18, issue.2, pp.225-236, 2004.
DOI : 10.1147/rd.416.0711

F. Quilleré, S. Rajopadhye, and D. Wilde, Generation of efficient nested loops from polyhedra, International Journal of Parallel Programming, vol.28, pp.5-469, 2000.

L. Rauchwerger and D. Padua, Parallelizing while loops for multiprocessor systems, Proceedings of 9th International Parallel Processing Symposium, pp.347-356, 1995.
DOI : 10.1109/IPPS.1995.395955

M. Mills-strout, L. Carter, and J. Ferrante, Compiletime Composition of Run-time Data and Iteration Reorderings, Proceedings of the ACM SIGPLAN 2003 conference on Programming Language Design and Implementation, pp.91-102, 2003.

M. Mills-strout, A. Lamielle, L. Carter, J. Ferrante, B. Kreaseck et al., An approach for code generation in the Sparse Polyhedral Framework, Parallel Computing, vol.53, pp.32-57, 2016.
DOI : 10.1016/j.parco.2016.02.004

A. Venkat, M. Hall, and M. Strout, Loop and Data Transformations for Sparse Matrix Code, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp.521-532, 2015.
DOI : 10.1145/2737924.2738003
URL : http://dl.acm.org/ft_gateway.cfm?id=2738003&type=pdf

S. Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, Mathematical Software ? ICMS 2010, pp.299-302, 2010.
DOI : 10.1007/978-3-642-15582-6_49
URL : https://lirias.kuleuven.be/bitstream/123456789/270231/1/icms2010verdoolaege.pdf

S. Verdoolaege, J. C. Juega, A. Cohen, J. I. Gómez, C. Tenllado et al., Polyhedral parallel code generation for CUDA, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-5423, 2013.
DOI : 10.1145/2400682.2400713
URL : https://hal.archives-ouvertes.fr/hal-00786677

R. Vuduc, W. James, K. A. Demmel, and . Yelick, OSKI: A library of automatically tuned sparse matrix kernels, Journal of Physics: Conference Series, vol.16, issue.1, p.521, 2005.
DOI : 10.1088/1742-6596/16/1/071
URL : http://iopscience.iop.org/article/10.1088/1742-6596/16/1/071/pdf

D. Wonnacott and W. Pugh, Nonlinear array dependence analysis, Proceedings of Third Workshop on Languages, Compilers and Run-Time Systems for Scalable Computers, 1995.