A practical automatic polyhedral parallelizer and locality optimizer, ACM SIGPLAN Notices, vol.43, issue.6, pp.101-113, 2008. ,
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. ,
Ikos: A framework for static analysis based on abstract interpretation, International Conference on Software Engineering and Formal Methods, pp.271-277, 2014. ,
A cost-driven compilation framework for speculative parallelization of sequential programs, ACM SIGPLAN Notices, vol.39, issue.6, pp.71-81, 2004. ,
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, Informatics, pp.138-156, 2001. ,
Automatic parallelization: an overview of fundamental compiler techniques, Synthesis Lectures on Computer Architecture, vol.7, issue.1, pp.1-169, 2012. ,
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. ,
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. ,
Automatic parallelization of divide and conquer algorithms, ACM SIGPLAN Notices, vol.34, pp.72-83, 1999. ,
Automatic parallelization of recursive procedures, International Journal of Parallel Programming, vol.28, issue.6, pp.537-562, 2000. ,
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
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
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. ,
Hybrid dependence analysis for automatic parallelization, pp.5-013, 2005. ,
Automatic parallelization: Executing sequential programs on a task-based parallel runtime, International Journal of Parallel Programming, vol.44, issue.6, pp.1337-1358, 2016. ,
Automatic loop parallelization: an abstract interpretation approach, Parallel Computing in Electrical Engineering, 2002. PARELEC'02. Proceedings. International Conference on, 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. ,
Data dependences as abstract interpretations, International Static Analysis Symposium, pp.366-366, 1997. ,
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. Citeseer, pp.365-372, 1999. ,
Architectural support for scalable speculative parallelization in shared-memory multiprocessors, vol.28, 2000. ,
Multiplex: Unifying conventional and speculative threadlevel parallelism on a chip multiprocessor, Proceedings of the 15th international conference on Supercomputing, pp.368-380, 2001. ,
Basic concepts of abstract interpretation, Building the Information Society, pp.359-366, 2004. ,
Introduction to the llvm compiler infrastructure, Itanium conference and expo, 2006. ,
The LLVM Compiler Framework and Infrastructure Tutorial, LCPC'04 Mini Workshop on Compiler Research Infrastructures, 2004. ,
Formalizing the llvm intermediate representation for verified program transformations, Acm sigplan notices, vol.47, pp.427-440, 2012. ,
Widening operators for abstract interpretation, Software Engineering and Formal Methods, 2008. SEFM'08. Sixth IEEE International Conference on, pp.31-40, 2008. ,
The Java HotSpot server compiler, Proceedings of the 2001 Symposium on Java TM Virtual Machine Research and Technology Symposium, vol.1, 2001. ,
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
Polybench: The polyhedral benchmark suite, 2012. ,