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

C. Bastoul, Contributions to High-Level Program Optimization, 2012.

C. Bastoul, A. Cohen, S. Girbal, S. Sharma, and O. Temam, Putting Polyhedral Loop Transformations to Work, Workshop on Languages and Compilers for Parallel Computing (LCPC'03), p.2330, 2003.
DOI : 10.1007/978-3-540-24644-2_14

URL : https://hal.archives-ouvertes.fr/inria-00071681

U. Kumar and R. Bondhugula, Eective automatic parallelization and locality optimization using the polyhedral model, 2008.

D. Bruening, S. Devabhaktuni, and S. Amarasinghe, Softspec: Software-based speculative parallelism, ACM Workshop on Feedback-Directed and Dynamic Optimization, 2000.

J. M. , M. Caamaño, W. Wollf, and P. Clauss, Code bones: Fast and exible code generation for dynamic and speculative polyhedral optimization, Euro-Par 2016 Parallel Processing -22th International Conference Proceedings. (Best paper mention), 2016.

H. Charles and V. Lomüller, Is dynamic compilation possible for embedded systems?, Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES '15, p.8083, 2015.
DOI : 10.1145/2764967.2782785

URL : https://hal.archives-ouvertes.fr/cea-01162180

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

P. Clauss, Counting solutions to linear and nonlinear constraints through ehrhart polynomials: Applications to analyze and transform scientic programs

A. Cohen, S. Girbal, and O. Temam, A Polyhedral Approach to Ease the Composition of Program Transformations, p.292303, 2004.
DOI : 10.1007/978-3-540-27866-5_38

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

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-420, 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, p.2012

A. Jimborean, Adapting the polytope model for dynamic and speculative parallelization, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00733850

A. Jimborean, P. Clauss, J. Dollinger, V. Loechner, and J. Caamaño, Dynamic and Speculative Polyhedral Parallelization of Loop Nests Using Binary Code Patterns, Proceedings of the International Conference on Computational Science, p.25752578, 2013.
DOI : 10.1016/j.procs.2013.05.443

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, p.529545, 2014.
DOI : 10.1007/s10766-013-0259-4

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

A. Jimborean, L. Mastrangelo, V. Loechner, and P. Clauss, VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework, p.220239, 2012.
DOI : 10.1007/978-3-642-28652-0_12

R. Johnson, D. Pearson, and K. Pingali, The program structure tree: Computing control regions in linear time, SIGPLAN Not, vol.29, issue.6, p.171185, 1994.

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.158167, 2006.
DOI : 10.1145/1122971.1122997

V. Maslov, Delinearization: An ecient way to break multiloop dependence equations, Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, PLDI '92, p.152161, 1992.

D. Nuzman, S. Dyshel, E. Rohou, I. Rosen, K. Williams et al., Vapor SIMD: Auto-vectorize once, run everywhere, International Symposium on Code Generation and Optimization (CGO 2011), p.151160, 2011.
DOI : 10.1109/CGO.2011.5764683

URL : https://hal.archives-ouvertes.fr/inria-00589692

D. Nuzman, R. Eres, S. Dyshel, M. Zalmanovici, and J. Castanos, JIT technology with C/C++, ACM Transactions on Architecture and Code Optimization, vol.10, issue.4, p.5915925, 2013.
DOI : 10.1145/2541228.2555315

L. Rauchwerger, N. M. Amato, and D. A. Padua, A scalable method for run-time loop parallelization, International Journal of Parallel Programming, vol.4, issue.1, p.537576, 1995.
DOI : 10.1007/BF02577866

L. Rauchwerger and D. Padua, The lrpd test: Speculative run-time parallelization of loops with privatization and reduction parallelization, Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation, PLDI '95, p.218232, 1995.

J. A. Stratton, C. Rodrigrues, I. Sung, N. Obeid, L. Chang et al., Parboil: A revised benchmark suite for scientic and commercial throughput computing, 2012.

A. Sukumaran-rajam, Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01251748

A. Sukumaran-rajam, J. Manuel-martinez-caamaño, W. Wol, A. Jimborean, and P. Clauss, Speculative program parallelization with scalable and decentralized runtime verication, Runtime Verication - 5th International Conference. Proceedings, p.124139, 2014.

A. Sukumaran-rajam, L. E. Campostrini, J. M. , M. Caamaño, and P. Clauss, Speculative runtime parallelization of loop nests: Towards greater scope and eciency, 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, IPDPS 2015, p.245254, 2015.

R. Upadrasta and A. Cohen, Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, p.483496, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00911888

L. A. Harmen, E. M. Van-der-spek, H. A. Bakker, and . Wijsho, SPARK00: A benchmark package for the compiler evaluation of irregular/sparse codes, p.805, 2008.

S. Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, Proceedings of the Third International Congress Conference on Mathematical Software, ICMS'10, p.299302, 2010.
DOI : 10.1007/978-3-642-15582-6_49

M. Wolfe, High Performance Compilers for Parallel Computing