U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral parallelizer and locality optimizer, ACM SIGPLAN Notices, vol.43, issue.6, pp.101-113, 2008.

M. Samadi, A. Hormati, J. Lee, and S. Mahlke, Paragon: collaborative speculative loop execution on gpu and cpu, Proceedings of the 5th Annual Workshop on General Purpose Processing with Graphics Processing Units, pp.64-73, 2012.

G. Brat, J. A. Navas, N. Shi, and A. Venet, Ikos: A framework for static analysis based on abstract interpretation, International Conference on Software Engineering and Formal Methods, pp.271-277, 2014.

Z. Du, C. Lim, X. Li, C. Yang, Q. Zhao et al., A cost-driven compilation framework for speculative parallelization of sequential programs, ACM SIGPLAN Notices, vol.39, issue.6, pp.71-81, 2004.

P. Cousot and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.238-252, 1977.

P. Cousot, Abstract interpretation based formal methods and future challenges, Informatics, pp.138-156, 2001.

S. P. Midkiff, Automatic parallelization: an overview of fundamental compiler techniques, Synthesis Lectures on Computer Architecture, vol.7, issue.1, pp.1-169, 2012.

C. Lattner and V. Adve, Llvm: A compilation framework for lifelong program analysis & transformation, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, p.75, 2004.

A. Bhattacharyya and J. N. Amaral, Automatic speculative parallelization of loops using polyhedral dependence analysis, Proceedings of the First International Workshop on Code OptimiSation for MultI and many Cores, p.1, 2013.

R. Rugina and M. Rinard, Automatic parallelization of divide and conquer algorithms, ACM SIGPLAN Notices, vol.34, pp.72-83, 1999.

M. Gupta, S. Mukhopadhyay, and N. Sinha, Automatic parallelization of recursive procedures, International Journal of Parallel Programming, vol.28, issue.6, pp.537-562, 2000.

S. Kobeissi and P. Clauss, The polyhedral model beyond loops recursion optimization and parallelization through polyhedral modeling, IMPACT 2019, 9th International Workshop on Polyhedral Compilation Techniques, In conjunction with HiPEAC, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02059558

B. Pradelle, A. Ketterlin, and P. Clauss, Polyhedral parallelization of binary code, ACM Transactions on Architecture and Code Optimization (TACO), vol.8, issue.4, p.39, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00664370

A. Jimborean, P. Clauss, J. Dollinger, V. Loechner, and J. M. Martinez-caamaño, Dynamic and speculative polyhedral parallelization using compiler-generated skeletons, International Journal of Parallel Programming, vol.42, issue.4, pp.529-545, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00825738

Y. Sato, Y. Inoguchi, and T. Nakamura, Whole program data dependence profiling to unveil parallel regions in the dynamic execution, 2012 IEEE International Symposium on Workload Characterization (IISWC), pp.69-80, 2012.

S. Rus and L. Rauchwerger, Hybrid dependence analysis for automatic parallelization, pp.5-013, 2005.

A. Fonseca, B. Cabral, J. Rafael, and I. Correia, Automatic parallelization: Executing sequential programs on a task-based parallel runtime, International Journal of Parallel Programming, vol.44, issue.6, pp.1337-1358, 2016.

L. Ricci, Automatic loop parallelization: an abstract interpretation approach, Parallel Computing in Electrical Engineering, 2002. PARELEC'02. Proceedings. International Conference on, pp.112-118, 2002.

F. Martin, Pag-an efficient program analyzer generator, International Journal on Software Tools for Technology Transfer, vol.2, issue.1, pp.46-67, 1998.

S. Tzolovski, Data dependences as abstract interpretations, International Static Analysis Symposium, pp.366-366, 1997.

S. Prema and R. Jehadeesan, Analysis of parallelization techniques and tools, International Journal of Information and Computation Technology, issue.3, pp.471-478, 2013.

M. Cintra and D. R. Llanos, Toward efficient and robust software speculative parallelization on multiprocessors, ACM SIGPLAN Notices, vol.38, issue.10, pp.13-24, 2003.

P. Marcuello and A. González, Clustered speculative multithreaded processors, Proceedings of the 13th international conference on Supercomputing. Citeseer, pp.365-372, 1999.

M. Cintra, J. F. Martínez, and J. Torrellas, Architectural support for scalable speculative parallelization in shared-memory multiprocessors, vol.28, 2000.

C. Ooi, S. W. Kim, I. Park, R. Eigenmann, B. Falsafi et al., Multiplex: Unifying conventional and speculative threadlevel parallelism on a chip multiprocessor, Proceedings of the 15th international conference on Supercomputing, pp.368-380, 2001.

P. Cousot and R. Cousot, Basic concepts of abstract interpretation, Building the Information Society, pp.359-366, 2004.

C. Lattner, Introduction to the llvm compiler infrastructure, Itanium conference and expo, 2006.

C. Lattner and V. Adve, The LLVM Compiler Framework and Infrastructure Tutorial, LCPC'04 Mini Workshop on Compiler Research Infrastructures, 2004.

J. Zhao, S. Nagarakatte, M. M. Martin, and S. Zdancewic, Formalizing the llvm intermediate representation for verified program transformations, Acm sigplan notices, vol.47, pp.427-440, 2012.

A. Cortesi, Widening operators for abstract interpretation, Software Engineering and Formal Methods, 2008. SEFM'08. Sixth IEEE International Conference on, pp.31-40, 2008.

M. Paleczny, C. Vick, and C. Click, The Java HotSpot server compiler, Proceedings of the 2001 Symposium on Java TM Virtual Machine Research and Technology Symposium, vol.1, 2001.

M. Yusuf, A. El-mahdy, and E. Rohou, Runtime, speculative on-stack parallelization of for-loops in binary programs, IEEE Letters of the Computer Society, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01890719

L. Pouchet, Polybench: The polyhedral benchmark suite, 2012.