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

F. Bueno, G. Banda, M. Hermenegildo, and M. , Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming, ACM TOPLAS, vol.21, issue.2, pp.189-239, 1999.

Z. H. Du, C. C. Lim, X. F. 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.

A. Kotha, K. Anand, T. Creech, K. Elwazeer, M. Smithson et al., Affine parallelization using dependence and cache analysis in a binary rewriter, IEEE Transactions on Parallel and Distributed Systems, vol.26, issue.8, pp.2154-2163, 2015.

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, In: Informatics. Springer, pp.138-156, 2001.

E. Riou, E. Rohou, P. Clauss, N. Hallou, and A. Ketterlin, PADRONE: A platform for online profiling, analysis, and optimization, DCE 2014-International workshop on Dynamic Compilation Everywhere, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00917950

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, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02059558

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

A. Jimborean, P. Clauss, J. F. Dollinger, V. Loechner, M. Caamaño et al., 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.

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.

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

J. Caamano, A. Sukumaran-rajam, A. Baloian, and M. Selva, Clauss Ph APOLLO Automatic speculative POLyhedral Loop Optimizer

F. Gruber, M. Selva, D. Sampaio, C. Guillon, and A. Moynault, Louis-Noël Pouchet, Fabrice Rastello Data-flow/dependence profiling for structured transformations

A. Cohen, Program analysis and transformation: from the polytope model to formal languages, 1999.
URL : https://hal.archives-ouvertes.fr/tel-00550829

W. L. Harrison, The interprocedural analysis and automatic parallelization of Scheme programs. Lisp and Symbolic Computation, vol.2, pp.179-396, 1989.

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

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

L. Ricci, Automatic loop parallelization: an abstract interpretation approach, International Conference on Parallel Computing in Electrical Engineering, 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. 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, pp.365-372, 1999.

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

S. Bygde, Abstract Interpretation and Abstract Domains, 2006.

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

K. Damevski, Madhan Muralimanohar Interactive Refactoring for GPU Parallelization of Affine Loops, 2013.

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.

N. Nethercote, Dynamic binary analysis and instrumentation, 2004.

W. Cheng, Q. Zhao, Y. B. , and H. S. Tainttrace, Efficient flow tracing with dynamic binary rewriting, 11th IEEE Symposium on Computers and Communications (ISCC'06), pp.749-754, 2006.

H. Yin and D. Song, Dynamic Binary Analysis Platform, Automatic Malware Analysis, pp.5-16, 2013.

C. Valensi, A generic approach to the definition of low-level components for multi-architecture binary analysis, 2014.

M. Yusuf, A. El-mahdy, and R. E. 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. N. Pouchet and . Polybench, The polyhedral benchmark suite, 202020-04-20.