Architectural support for scalable speculative parallelization in shared-memory multiprocessors, vol.28, 2000. ,
Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming, ACM TOPLAS, vol.21, issue.2, pp.189-239, 1999. ,
A cost-driven compilation framework for speculative parallelization of sequential programs, ACM SIGPLAN Notices, vol.39, issue.6, pp.71-81, 2004. ,
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. ,
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. ,
Abstract interpretation based formal methods and future challenges, In: Informatics. Springer, pp.138-156, 2001. ,
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
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
Polyhedral parallelization of binary code, ACM TACO, vol.8, issue.4, p.39, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00664370
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
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. ,
Automatic parallelization of recursive procedures, International Journal of Parallel Programming, vol.28, issue.6, pp.537-562, 2000. ,
Automatic parallelization of divide and conquer algorithms, ACM SIGPLAN Notices, vol.34, pp.72-83, 1999. ,
, Clauss Ph APOLLO Automatic speculative POLyhedral Loop Optimizer
Louis-Noël Pouchet, Fabrice Rastello Data-flow/dependence profiling for structured transformations ,
Program analysis and transformation: from the polytope model to formal languages, 1999. ,
URL : https://hal.archives-ouvertes.fr/tel-00550829
The interprocedural analysis and automatic parallelization of Scheme programs. Lisp and Symbolic Computation, vol.2, pp.179-396, 1989. ,
Automatic parallelization: an overview of fundamental compiler techniques, Synthesis Lectures on Computer Architecture, vol.7, issue.1, pp.1-169, 2012. ,
Data dependences as abstract interpretations, International Static Analysis Symposium, pp.366-366, 1997. ,
Automatic loop parallelization: an abstract interpretation approach, International Conference on Parallel Computing in Electrical Engineering, pp.112-118, 2002. ,
PAG-an efficient program analyzer generator, International Journal on Software Tools for Technology Transfer, vol.2, issue.1, pp.46-67, 1998. ,
Analysis of Parallelization Techniques and Tools, International Journal of Information and Computation Technology, issue.3, pp.471-478, 2013. ,
Toward efficient and robust software speculative parallelization on multiprocessors, ACM SIGPLAN Notices, vol.38, issue.10, pp.13-24, 2003. ,
Clustered speculative multithreaded processors, Proceedings of the 13th international conference on Supercomputing, pp.365-372, 1999. ,
Multiplex: Unifying conventional and speculative thread-level parallelism on a chip multiprocessor, Proceedings of the 15th international conference on Supercomputing, pp.368-380, 2001. ,
Abstract Interpretation and Abstract Domains, 2006. ,
Widening operators for abstract interpretation, Software Engineering and Formal Methods, 2008. SEFM'08. Sixth IEEE International Conference on. IEEE, pp.31-40, 2008. ,
Madhan Muralimanohar Interactive Refactoring for GPU Parallelization of Affine Loops, 2013. ,
IKOS: A framework for static analysis based on abstract interpretation, International Conference on Software Engineering and Formal Methods, pp.271-277, 2014. ,
Dynamic binary analysis and instrumentation, 2004. ,
Efficient flow tracing with dynamic binary rewriting, 11th IEEE Symposium on Computers and Communications (ISCC'06), pp.749-754, 2006. ,
Dynamic Binary Analysis Platform, Automatic Malware Analysis, pp.5-16, 2013. ,
A generic approach to the definition of low-level components for multi-architecture binary analysis, 2014. ,
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
, The polyhedral benchmark suite, 202020-04-20.