, aiT:the industry standard for static timing analysis
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
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. ,
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
Engineering a compiler, 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. ,
Data-Flow Based Detection of Loop Bounds, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07), vol.6, 2007. ,
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
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
Gecos: A framework for prototyping custom hardware design flows, IEEE 13th International Working Conference on, pp.100-105, 2013. ,
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
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
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.
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
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
Effective sourceto-source outlining to support whole program empirical optimization, Languages and Compilers for Parallel Computing, pp.308-322, 2010. ,
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. ,
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. ,