R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem -overview of methods and survey of tools, ACM Trans. Embed. Comput. Syst, vol.7, issue.3, p.53, 2008.

Y. S. Li and S. Malik, Performance analysis of embedded software using implicit path enumeration, IEEE Trans. on CAD of Integrated Circuits and Systems, vol.16, issue.12, pp.1477-1487, 1997.

,

Y. Chen, S. Fang, Y. Huang, L. Eeckhout, G. Fursin et al., Deconstructing iterative optimization, TACO, vol.9, issue.3, pp.1-21, 2012.

A. H. Ashouri, W. Killian, J. Cavazos, G. Palermo, and C. Silvano, A survey on compiler autotuning using machine learning, ACM Comput. Surv, vol.51, issue.5, pp.1-96, 2019.

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis and transformation, IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.75-88, 2004.

, aiT:the industry standard for static timing analysis

R. Agrawal, T. Imieli?ski, and A. Swami, Mining association rules between sets of items in large databases, Proceedings of the, 1993.

, ACM SIGMOD International Conference on Management of Data, ser. SIGMOD '93, vol.22, pp.207-216, 1993.

L. G. Martins, R. Nobre, J. M. Cardoso, A. C. Delbem, and E. Marques, Clustering-Based Selection for the Exploration of Compiler Optimization Sequences, ACM Trans. Archit. Code Optim, vol.13, issue.1, pp.1-8, 2016.

, Gaisler bare-c cross-compiler system

C. Cullmann and F. Martin, Data-Flow Based Detection of Loop Bounds, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07), ser. OpenAccess Series in Informatics (OASIcs), C. Rochange, vol.6, 2007.

J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, The Mälardalen WCET Benchmarks: Past, Present And Future, 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), ser. OpenAccess Series in Informatics (OASIcs), vol.15, pp.136-146, 2010.

L. Pouchet and T. Yuki, PolyBench/C

M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge et al., MiBench: A free, commercially representative embedded benchmark suite, Proceedings of the Fourth Annual IEEE International Workshop on Workload Characterization. WWC-4 (Cat. No.01EX538), pp.3-14, 2001.

R. T. Mullapudi, V. Vasista, and U. Bondhugula, PolyMage: Automatic Optimization for Image Processing Pipelines, Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ser. ASPLOS '15, pp.429-443, 2015.

G. V. Conroy, Handbook of genetic algorithms by lawrence davis, Knowledge Eng. Review, vol.385, issue.4, pp.363-365, 1991.

H. Javaid, A. Ignjatovic, and S. Parameswaran, Fidelity metrics for estimation models, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp.1-8, 2010.

J. Gustafsson, A. Ermedahl, C. Sandberg, and B. Lisper, Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution, Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), pp.57-66, 2006.

M. D. Michiel, A. Bonenfant, H. Cassé, and P. Sainrat, Static loop bound analysis of C programs based on flow analysis and abstract interpretation, The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pp.161-166, 2008.

S. Blazy, A. O. Maroneze, and D. Pichardie, Formal verification of loop bound estimation for WCET analysis, Verified Software: Theories, Tools, Experiments -5th International Conference, pp.281-303, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00848703

J. Knoop, L. Kovács, and J. Zwirchmayr, Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution, J. Symb. Comput, vol.80, pp.101-124, 2017.

R. Kirner, J. Knoop, A. Prantl, M. Schordan, and I. Wenzel, WCET Analysis: The Annotation Language Challenge, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07), ser. OpenAccess Series in Informatics (OASIcs), C. Rochange, vol.6, 2007.

X. Leroy, Formal certification of a compiler back-end, or: programming a compiler with a proof assistant, 33rd ACM symposium on Principles of Programming Languages, pp.42-54, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000963

S. Triantafyllis, M. Vachharajani, N. Vachharajani, and D. I. August, Compiler optimization-space exploration, 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003, pp.204-215, 2003.

H. Li, I. Puaut, and E. Rohou, Traceability of flow information: Reconciling compiler optimizations and wcet estimation, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems, ser. RTNS '14, vol.97, p.106, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01072138

I. Puaut, M. Dardaillon, C. Cullmann, G. Gebhard, and S. Derrien, Finegrain iterative compilation for wcet estimation, 18th International Workshop on Worst-Case Execution Time Analysis (WCET'18), 2018.
URL : https://hal.archives-ouvertes.fr/hal-01889944

P. Lokuciejewski, H. Falk, and P. Marwedel, Wcet-driven cache-based procedure positioning optimizations, 20th Euromicro Conference on Real-Time Systems, pp.321-330, 2008.

V. Suhendra, T. Mitra, A. Roychoudhury, and T. Chen, WCET centric data allocation to scratchpad memory, Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), pp.223-232, 2005.

F. Bodin and I. Puaut, A wcet-oriented static branch prediction scheme for real time systems, 17th Euromicro Conference on Real-Time Systems (ECRTS 2005, pp.33-40, 2005.

P. Lokuciejewski and P. Marwedel, Combining worst-case timing models, loop unrolling, and static loop analysis for wcet minimization, The 21st Euromicro Conference on Real-Time Systems (ECRTS), pp.35-44, 2009.

J. Engblom, A. Ermedahl, and P. Altenbernd, Facilitating worst-case execution times analysis for optimized code, 10th Euromicro Conference on Real-Time Systems (ECRTS 1998, pp.146-153, 1998.

R. Kirner, P. P. Puschner, and A. Prantl, Transforming flow information during code optimization for timing analysis, Real-Time Systems, vol.45, issue.1-2, pp.72-105, 2010.

P. Lokuciejewski, S. Plazar, H. Falk, P. Marwedel, and L. Thiele, Approximating pareto optimal compiler optimization sequencesa trade-off between wcet, ACET and code size, Softw

. Exper, , vol.41, pp.1437-1458, 2011.

K. D. Cooper, A. Grosul, T. J. Harvey, S. W. Reeves, D. Subramanian et al., ACME: adaptive compilation made efficient, Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), pp.69-77, 2005.

F. V. Agakov, E. V. Bonilla, J. Cavazos, B. Franke, G. Fursin et al., Using machine learning to focus iterative optimization, IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.295-305, 2006.

M. Becker and S. Chakraborty, Optimizing worst-case execution times using mainstream compilers, Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, pp.10-13, 2018.

S. Kulkarni, J. Cavazos, C. Wimmer, and D. Simon, Automatic construction of inlining heuristics using machine learning, Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.1-12, 2013.