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. ,
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. ,
,
Deconstructing iterative optimization, TACO, vol.9, issue.3, pp.1-21, 2012. ,
A survey on compiler autotuning using machine learning, ACM Comput. Surv, vol.51, issue.5, pp.1-96, 2019. ,
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
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.
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
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. ,
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. ,
PolyBench/C ,
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. ,
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. ,
Handbook of genetic algorithms by lawrence davis, Knowledge Eng. Review, vol.385, issue.4, pp.363-365, 1991. ,
Fidelity metrics for estimation models, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), pp.1-8, 2010. ,
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. ,
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. ,
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
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. ,
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. ,
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
Compiler optimization-space exploration, 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003, pp.204-215, 2003. ,
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
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
Wcet-driven cache-based procedure positioning optimizations, 20th Euromicro Conference on Real-Time Systems, pp.321-330, 2008. ,
WCET centric data allocation to scratchpad memory, Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), pp.223-232, 2005. ,
A wcet-oriented static branch prediction scheme for real time systems, 17th Euromicro Conference on Real-Time Systems (ECRTS 2005, pp.33-40, 2005. ,
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. ,
Facilitating worst-case execution times analysis for optimized code, 10th Euromicro Conference on Real-Time Systems (ECRTS 1998, pp.146-153, 1998. ,
Transforming flow information during code optimization for timing analysis, Real-Time Systems, vol.45, issue.1-2, pp.72-105, 2010. ,
Approximating pareto optimal compiler optimization sequencesa trade-off between wcet, ACET and code size, Softw ,
, , vol.41, pp.1437-1458, 2011.
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. ,
Using machine learning to focus iterative optimization, IEEE/ACM International Symposium on Code Generation and Optimization (CGO), pp.295-305, 2006. ,
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. ,
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. ,