P. Alves, F. Gruber, J. Doerfert, A. Lamprineas, T. Grosser et al., Runtime Pointer Disambiguation, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01234086

R. Ao, G. Tan, and M. Chen, ParaInsight: An Assistant for Quantitatively Analyzing Multigranularity Parallel Region, High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC), 2013 IEEE 10th International Conference on, 2013.

C. Bastoul, Generating loops for scanning polyhedra: Cloog users guide, Polyhedron, vol.2, 2004.

F. Bellard, QEMU, a Fast and Portable Dynamic Translator, Proceedings of the Annual Conference on USENIX Annual Technical Conference (ATEC '05), 2005.

E. Berg and E. Hagersten, Fast data-locality profiling of native execution, ACM SIGMETRICS Performance Evaluation Review, 2005.

K. Beyls and E. Dâ??hollander, Discovery of Locality-Improving Refactorings by Reuse Path Analysis. High Performance Computing and Communications, 2006.

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A Practical Automatic Polyhedral Parallelizer and Locality Optimizer, Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08), 2008.

G. S. Brodal and R. Jacob, Dynamic planar convex hull, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002.

K. Butt, A. Qadeer, G. Mustafa, and A. Waheed, Runtime analysis of application binaries for function level parallelism potential using QEMU, Open Source Systems and Technologies (ICOSST), 2012 International Conference on, 2012.

S. Che, M. Boyer, J. Meng, D. Tarjan, J. W. Sheaffer et al., Rodinia: A benchmark suite for heterogeneous computing, IEEE International Symposium on, 2009.

S. Che, J. W. Sheaffer, M. Boyer, L. G. Szafaryn, L. Wang et al., A Characterization of the Rodinia Benchmark Suite with Comparison to Contemporary CMP Workloads, Proceedings of the IEEE International Symposium on Workload Characterization (IISWC'10) (IISWC '10), 2010.

J. Collard, D. Barthou, and P. Feautrier, Fuzzy Array Dataflow Analysis, Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP '95), 1995.

J. Doerfert, T. Grosser, and S. Hack, Optimistic Loop Optimization, Proceedings of the 2017 International Symposium on Code Generation and Optimization (CGO '17), 2017.

K. Faxén and K. Popov, Embla -Data Dependence Profiling for Parallel Programming, Proceedings of the 2008 International Conference on Complex, Intelligent and Software Intensive Systems (CISIS '08), 2008.

P. Feautrier, Parametric integer programming, RAIRO-Operations Research, vol.22, p.3, 1988.

P. Feautrier and C. Lengauer, Polyhedron model, Encyclopedia of Parallel Computing, 2011.

T. Grosser, A. Groesslinger, and C. Lengauer, Polly -Performing Polyhedral Optimizations on a Low-level Intermediate Representation, Parallel Processing Letters, vol.22, p.4, 2012.

F. Gruber and M. Selva, Python implementation of the folding based analysis

F. Gruber, M. Selva, D. Sampaio, C. Guillon, A. Moynault et al., Data-Flow/Dependence Profiling for Structured Transformations, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02060796

F. Gruber, M. Selva, D. Sampaio, and C. Guillon, Building of a Polyhedral Representation from an Instrumented Execution: Making Dynamic Analyses of non-Affine Programs Scalable, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02418987

C. Guillon, Program Instrumentation with QEMU, Proceedings of the International QEMU User's Forum, 2011.

J. Hershberger and S. Suri, Convex hulls and related problems in data streams, Proc. of the ACM/DIMACS Workshop on Management and Processing of Data Streams, 2003.

J. Holewinski, R. Ramamurthi, and M. Ravishankar, Dynamic trace-based analysis of vectorization potential of applications, ACM SIGPLAN Notices, vol.47, p.6, 2012.

A. Ketterlin and P. Clauss, Prediction and Trace Compression of Data Access Addresses Through Nested Loop Recognition, Proceedings of the 6th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO '08), 2008.
URL : https://hal.archives-ouvertes.fr/inria-00504597

A. Ketterlin and P. Clauss, Profiling Data-Dependence to Assist Parallelization: Framework, Scope, and Optimization, Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-45), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00780782

M. Kim, H. Kim, and C. Luk, Prospector: A dynamic data-dependence profiler to help parallel programming, HotParâ??10: Proceedings of the USENIX workshop on Hot Topics in parallelism, 2010.

Z. Li, R. Atre, Z. Ul-huda, A. Jannesari, and F. Wolf, DiscoPoP: A profiling tool to identify parallelization opportunities, Tools for High Performance Computing, 2014.

X. Liu and J. Mellor-crummey, Pinpointing data locality problems using data-centric analysis, Code Generation and Optimization (CGO), 2011 9th Annual IEEE/ACM International Symposium on, 2011.

G. Marin, J. Dongarra, and D. Terpstra, MIAMI: A framework for application performance diagnosis, 2014 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2014.

J. Caamaño, M. Selva, P. Clauss, A. Baloian, and W. Wolff, Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones, Concurrency and Computation: Practice and Experience, vol.29, p.15, 2017.

N. Nethercote and A. Mycroft, Redux: A dynamic dataflow tracer. Electronic Notes in Theoretical, Computer Science, vol.89, 2003.

C. M. Olschanowsky, M. M. Tikir, L. Carrington, and A. Snavely, PSnAP: Accurate Synthetic Address Streams through Memory Profiles, Languages and Compilers for Parallel Computing, 2010.

S. Pop, A. Cohen, and G. Silber, Induction Variable Analysis with Delayed Abstractions, Proceedings of the First International Conference on High Performance Embedded Architectures and Compilers (HiPEAC'05), 2005.
URL : https://hal.archives-ouvertes.fr/hal-01257294

L. Pouchet, the PoCC polyhedral compiler collection, 2019.

G. Rodríguez, J. M. Andión, M. T. Kandemir, and J. Touriño, Trace-based Affine Reconstruction of Codes, Proceedings of the 2016 International Symposium on Code Generation and Optimization (CGO '16), 2016.

S. Rus, L. Rauchwerger, and J. Hoeflinger, Hybrid Analysis: Static & Dynamic Memory Reference Analysis, International Journal of Parallel Programming, vol.31, 2003.

N. Diogo, L. Sampaio, F. Pouchet, and . Rastello, Simplification and Runtime Resolution of Data Dependence Constraints for Loop Transformations, Proceedings of the International Conference on Supercomputing (ICS '17), 2017.

A. Simbürger, S. Apel, A. Größlinger, and C. Lengauer, PolyJIT: Polyhedral Optimization Just in Time, International Journal of Parallel Programming, 2018.

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

A. Sukumaran-rajam and P. Clauss, The Polyhedral Model of Nonlinear Loops, ACM Trans. Archit. Code Optim, vol.12, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01244464

G. Tournavitis and B. Franke, Semi-automatic Extraction and Exploitation of Hierarchical Pipeline Parallelism Using Profiling Information, Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques (PACT '10), 2010.

K. Trifunovic, A. Cohen, D. Edelsohn, F. Li, T. Grosser et al., GRAPHITE Two Years After: First Lessons Learned From Real-World Polyhedral Compilation, GCC Research Opportunities Workshop, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00551516

. Robert-a-van-engelen, Efficient symbolic analysis for optimizing compilers, International Conference on Compiler Construction, 2001.

H. Vandierendonck, S. Rul, and K. Bosschere, The Paralax infrastructure: automatic parallelization with a helping hand, Parallel Architectures and Compilation Techniques (PACT), 2010 19th International Conference on, 2010.

S. Verdoolaege, J. C. Juega, and A. Cohen, José Ignacio Gómez, Christian Tenllado, and Francky Catthoor, ACM Trans. Archit. Code Optim, vol.9, issue.4, 2013.

Z. Wang, G. Tournavitis, B. Franke, F. P. Michael, and . O'boyle, Integrating profile-driven parallelism detection and machine-learning-based mapping, ACM Transactions on Architecture and Code Optimization (TACO), vol.11, p.1, 2014.