D. F. Bacon, S. L. Graham, and O. J. Sharp, Compiler transformations for highperformance computing, ACM Comput. Surv, vol.26, issue.4, pp.345-420, 1994.

S. S. Baghsorkhi and C. Margiolas, Automating efficient variable-grained resiliency for low-power IoT systems, CGO, pp.38-49, 2018.

D. Balsamo, A. S. Weddell, A. Das, A. R. Arreola, D. Brunelli et al., Hibernus++: a self-calibrating and adaptive system for transiently-powered embedded devices, IEEE TCAD, vol.35, issue.12, 2016.

D. Balsamo, A. S. Weddell, G. V. Merrett, B. M. Al-hashimi, D. Brunelli et al., Hibernus: Sustaining computation during intermittent supply for energyharvesting systems, IEEE Embedded Systems Letters, vol.7, issue.1, pp.15-18, 2015.

N. A. Bhatti and L. Mottola, HarvOS: Efficient code instrumentation for transientlypowered embedded sensing, 2017.

R. Bouziane, E. Rohou, and A. Gamatié, Energy-efficient memory mappings based on partial WCET analysis and multi-retention time STT-RAM, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01871320

R. Bouziane, E. Rohou, and A. Gamatié, Partial worst-case execution time analysis, Conférence d'informatique en Parallélisme, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01803006

A. Colin and B. Lucia, Chain: tasks and channels for reliable intermittent programs, ACM SIGPLAN Notices, vol.51, pp.514-530, 2016.

A. Colin and B. Lucia, Termination checking and task decomposition for task-based intermittent programs, Intl. Conf. on Compiler Construction, 2018.

K. Georgiou, . Xavier-de, S. Souza, and K. Eder, The IoT energy challenge: A software perspective, IEEE Embedded Systems Letters, vol.10, issue.3, 2018.

N. Grech, K. Georgiou, J. Pallister, S. Kerrison, and K. Eder, Static energy consumption analysis of LLVM IR programs. arXiv, 2014.

J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, The Mälardalen WCET benchmarks: Past, present and future, Intl. Workshop on Worst-Case Execution Time Analysis, 2010.

D. Hardy, B. Rouxel, and I. Puaut, The Heptane static worst-case execution time estimation tool, Intl. Workshop on Worst-Case Execution Time Analysis, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590444

H. Jayakumar, A. Raha, and V. Raghunathan, QuickRecall: A low overhead HW/SW approach for enabling computations across power cycles in transiently powered computers, 27th International Conference on VLSI Design and 13th International Conference on Embedded Systems, 2014.

R. Johnson, D. Pearson, and K. Pingali, The program structure tree: Computing control regions in linear time, ACM SigPlan Notices. vol, vol.29, 1994.

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation. In: CGO, 2004.

H. Li, I. Puaut, and E. Rohou, Tracing flow information for tighter WCET estimation: Application to vectorization, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01177902

Y. T. Li and S. Malik, Performance analysis of embedded software using implicit path enumeration, ACM SIGPLAN Notices, vol.30, 1995.

B. Lucia and B. Ransford, A simpler, safer programming and execution model for intermittent systems, ACM SIGPLAN Notices, vol.50, issue.6, pp.575-585, 2015.

K. Maeng, A. Colin, and B. Lucia, Alpaca: intermittent execution without checkpoints, OOPSLA, vol.1, 2017.

B. Ransford and B. Lucia, Nonvolatile memory is a broken time machine, Workshop on Memory Systems Performance and Correctness, 2014.

B. Ransford, J. Sorber, and K. Fu, Mementos: System support for long-running computation on RFID-scale devices, ACM SIGARCH Computer Architecture News, vol.39, 2011.

J. Van-der-woude and M. Hicks, Intermittent computation without hardware support or programmer intervention, USENIX OSDI, 2016.

P. Wägemann, T. Distler, T. Hönig, H. Janker, R. Kapitza et al., Worst-case energy consumption analysis for energy-constrained embedded systems, 2015.

P. Wägemann, T. Distler, H. Janker, P. Raffeck, and V. Sieh, A kernel for energyneutral real-time systems with mixed criticalities, 2016.

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 TECS, vol.7, issue.3, 2008.