Compiler transformations for highperformance computing, ACM Comput. Surv, vol.26, issue.4, pp.345-420, 1994. ,
Automating efficient variable-grained resiliency for low-power IoT systems, CGO, pp.38-49, 2018. ,
Hibernus++: a self-calibrating and adaptive system for transiently-powered embedded devices, IEEE TCAD, vol.35, issue.12, 2016. ,
Hibernus: Sustaining computation during intermittent supply for energyharvesting systems, IEEE Embedded Systems Letters, vol.7, issue.1, pp.15-18, 2015. ,
HarvOS: Efficient code instrumentation for transientlypowered embedded sensing, 2017. ,
Energy-efficient memory mappings based on partial WCET analysis and multi-retention time STT-RAM, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01871320
Partial worst-case execution time analysis, Conférence d'informatique en Parallélisme, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01803006
Chain: tasks and channels for reliable intermittent programs, ACM SIGPLAN Notices, vol.51, pp.514-530, 2016. ,
Termination checking and task decomposition for task-based intermittent programs, Intl. Conf. on Compiler Construction, 2018. ,
The IoT energy challenge: A software perspective, IEEE Embedded Systems Letters, vol.10, issue.3, 2018. ,
, Static energy consumption analysis of LLVM IR programs. arXiv, 2014.
The Mälardalen WCET benchmarks: Past, present and future, Intl. Workshop on Worst-Case Execution Time Analysis, 2010. ,
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
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. ,
The program structure tree: Computing control regions in linear time, ACM SigPlan Notices. vol, vol.29, 1994. ,
LLVM: A compilation framework for lifelong program analysis & transformation. In: CGO, 2004. ,
Tracing flow information for tighter WCET estimation: Application to vectorization, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01177902
Performance analysis of embedded software using implicit path enumeration, ACM SIGPLAN Notices, vol.30, 1995. ,
A simpler, safer programming and execution model for intermittent systems, ACM SIGPLAN Notices, vol.50, issue.6, pp.575-585, 2015. ,
Alpaca: intermittent execution without checkpoints, OOPSLA, vol.1, 2017. ,
Nonvolatile memory is a broken time machine, Workshop on Memory Systems Performance and Correctness, 2014. ,
Mementos: System support for long-running computation on RFID-scale devices, ACM SIGARCH Computer Architecture News, vol.39, 2011. ,
Intermittent computation without hardware support or programmer intervention, USENIX OSDI, 2016. ,
Worst-case energy consumption analysis for energy-constrained embedded systems, 2015. ,
A kernel for energyneutral real-time systems with mixed criticalities, 2016. ,
The worst-case execution-time problem-overview of methods and survey of tools, ACM TECS, vol.7, issue.3, 2008. ,