, aiT:the industry standard for static timing analysis

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

G. Bernat and N. Holsti, Compiler support for WCET analysis: a wish list, Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, WCET 2003-a Satellite Event to ECRTS 2003, pp.65-69, 2003.

Y. Chen, S. Fang, Y. Huang, L. Eeckhout, G. Fursin et al., Deconstructing iterative optimization, TACO, vol.9, issue.3, 2012.
DOI : 10.1145/2355585.2355594

URL : http://dl.acm.org/ft_gateway.cfm?id=2355594&type=pdf

K. Cooper and L. Torczon, Engineering a compiler, 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.

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

S. Derrien, I. Puaut, P. Alefragis, M. Bednara, H. Bucher et al., Wcet-aware parallelization of model-based applications for multi-cores: The ARGO approach, Design, Automation & Test in Europe Conference & Exhibition, pp.286-289, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590418

H. Falk, P. Marwedel, and P. Lokuciejewski, Reconciling compilation and timing analysis. In Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für RealzeitComputersysteme for 34 illustrious years), pp.145-170, 2012.
DOI : 10.1007/978-3-642-24349-3_7

A. Floc'h, T. Yuki, A. El-moussawi, A. Morvan, K. Martin et al., Gecos: A framework for prototyping custom hardware design flows, IEEE 13th International Working Conference on, pp.100-105, 2013.

R. Kirner, P. P. Puschner, and A. Prantl, Transforming flow information during code optimization for timing analysis. Real-Time Systems, vol.45, pp.72-105, 2010.
DOI : 10.1007/s11241-010-9091-8

URL : http://uhra.herts.ac.uk/bitstream/2299/8020/5/Kirner_real_time.pdf

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis and transformation, International Symposium on Code Generation and Optimization, pp.75-88, 2004.
DOI : 10.1109/cgo.2004.1281665

T. Lefeuvre, I. Fassi, C. Cullmann, G. Gebbard, E. K. Kasnakli et al., Using polyhedral techniques to tighten wcet estimates of optimized code: a case study with array contraction, Design, Automation
URL : https://hal.archives-ouvertes.fr/hal-01815499

, Fine-Grain Iterative Compilation for WCET Estimation & Test in Europe Conference & Exhibition, DATE 2018, 2018.

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, RTNS '14, vol.97, pp.97-97, 2014.
DOI : 10.1145/2659787.2659805

URL : https://hal.archives-ouvertes.fr/hal-01072138

H. Li, I. Puaut, and E. Rohou, Tracing flow information for tighter WCET estimation: Application to vectorization, 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015, pp.217-226, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01177902

C. Liao, J. Daniel, R. Quinlan, T. Vuduc, and . Panas, Effective sourceto-source outlining to support whole program empirical optimization, Languages and Compilers for Parallel Computing, pp.308-322, 2010.

P. Lokuciejewski, S. Plazar, H. Falk, P. Marwedel, and L. Thiele, Approximating pareto optimal compiler optimization sequences-a trade-off between wcet, ACET and code size, Softw., Pract. Exper, vol.41, issue.12, pp.1437-1458, 2011.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., Staschulat, and Per Stenström. The worst-case execution-time problem-overview of methods and survey of tools, ACM Trans. Embed. Comput. Syst, vol.7, issue.3, pp.1-36, 2008.