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., p.PACT, 2004.
DOI : 10.1109/PACT.2004.1342537

URL : https://hal.archives-ouvertes.fr/hal-00017260

C. Bastoul, Openscop: A specification and a library for data exchange in polyhedral compilation tools, 2011.

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral parallelizer and locality optimizer, p.PLDI, 2008.

D. Bruening, S. Devabhaktuni, and S. Amarasinghe, Softspec: Software-based speculative parallelism, In: ACM FDDO, 2000.

S. Che, M. Boyer, J. Meng, D. Tarjan, J. Sheaffer et al., Rodinia: A benchmark suite for heterogeneous computing, 2009 IEEE International Symposium on Workload Characterization (IISWC), p.IISWC, 2009.
DOI : 10.1109/IISWC.2009.5306797

J. Doerfert, C. Hammacher, K. Streit, and S. Hack, Spolly: Speculative optimizations in the polyhedral model, p.IMPACT, 2013.

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

T. Grosser, A. Größlinger, and C. Lengauer, POLLY ??? PERFORMING POLYHEDRAL OPTIMIZATIONS ON A LOW-LEVEL INTERMEDIATE REPRESENTATION, Parallel Processing Letters, vol.22, issue.04, 2012.
DOI : 10.1142/S0129626412500107

A. Jimborean, P. Clauss, J. F. Dollinger, V. Loechner, and J. M. Martinez, Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons, International Journal of Parallel Programming, vol.30, issue.3, 2014.
DOI : 10.1007/s10766-013-0259-4

URL : https://hal.archives-ouvertes.fr/hal-00825738

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004., p.4, 2004.
DOI : 10.1109/CGO.2004.1281665

W. Liu, J. Tuck, L. Ceze, W. Ahn, K. Strauss et al., POSH, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '06, p.PPoPP, 2006.
DOI : 10.1145/1122971.1122997

L. Rauchwerger and D. Padua, The lrpd test: Speculative run-time parallelization of loops with privatization and reduction parallelization, SIGPLAN Not, 1995.

H. Van-der-spek, E. Bakker, and H. Wijshoff, Spark00: A benchmark package for the compiler evaluation of irregular/sparse codes, 2008.

J. Steffan and T. Mowry, The potential for using thread-level data speculation to facilitate automatic parallelization, Proceedings 1998 Fourth International Symposium on High-Performance Computer Architecture, p.98
DOI : 10.1109/HPCA.1998.650541

J. Steffan, C. Colohan, A. Zhai, and T. Mowry, The stampede approach to threadlevel speculation, 2005.

J. A. Stratton, C. Rodrigues, I. J. Sung, N. Obeid, L. W. Chang et al., The Parboil technical report, IMPACT, 2012.

A. Sukumaran-rajam, J. Martinez, W. Wolff, A. Jimborean, and P. Clauss, Speculative Program Parallelization with Scalable and Decentralized Runtime Verification, 2014.
DOI : 10.1007/978-3-319-11164-3_11

URL : https://hal.archives-ouvertes.fr/hal-01070610

R. Upadrasta and A. Cohen, Sub-polyhedral scheduling using (unit-)two-variableper-inequality polyhedra, p.13, 2013.