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

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 matrix-vector multiplication on throughput-oriented processors, Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, SC '09, pp.1-1811, 2009.
DOI : 10.1145/1654059.1654078
URL : http://www.nvidia.com/docs/IO/77944/sc09-spmv-throughput.pdf

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 (CC), pp.283-303
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 program optimization system, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2008.

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

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

J. Collard, Space-time transformation of while-loops using speculative execution, Proceedings of IEEE Scalable High Performance Computing Conference, pp.429-436, 1994.
DOI : 10.1109/SHPCC.1994.296675

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

A. Timothy, Y. Davis, and . Hu, The university of florida sparse matrix collection, ACM Transactions on Mathematical Software (TOMS), vol.381, issue.1, pp.1-125, 2011.

P. Feautrier, Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991.
DOI : 10.1145/360827.360844

P. Feautrier, Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time, International Journal of Parallel Programming, vol.2, issue.4, pp.389-420315, 1992.
DOI : 10.1007/BF01379404

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

M. Geigl, M. Griebl, C. L. , M. Griebl, and J. Collard, Termination detection in parallel loop nests with while loops Generation of synchronous code for automatic parallelization of while loops, Proceedings of the 1st International Euro-Par Conference on Parallel Processing, pp.1489-1510, 1995.

M. Griebl and C. Lengauer, On scanning space-time mapped while loops, Proceedings of 3rd Joint International Conference on Vector and Parallel Processing (CONPAR 94-VAPP VI), 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, p.12, 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-01003744

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, issue.5, pp.469-498, 2000.
DOI : 10.1023/A:1007554627716

M. Mills-strout, L. Carter, and J. Ferrante, Compile-time composition of run-time data and iteration reorderings, ACM SIGPLAN Notices, vol.38, issue.5, pp.91-102, 2003.
DOI : 10.1145/780822.781142

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 (PLDI), pp.521-532, 2015.
DOI : 10.1145/2737924.2738003
URL : http://dl.acm.org/ft_gateway.cfm?id=2738003&type=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, p.54, 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

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