My research interests focus on battery-less sensing, with a particular emphasis on operating systems for battery-less sensors. I am currently working on data-aware and energy-aware decision-making approaches.

H. Reymond, Modèle d’exécution conscient de l’énergie pour les systèmes intermittents, PhD Thesis, Université de Rennes, 2024. PDF (in french)

H. Reymond, J.-L. Béchennec, M. Briday, S. Faucou, I. Puaut, et E. Rohou, EarlyBird: Energy belongs to those who wake up early, RTCSA 2024. Best paper award. PDF

H. Reymond, A. N. Amalou, et I. Puaut, WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors using Explainable ML, WCET 2024. PDF

H. Reymond, J.-L. Béchennec, M. Briday, S. Faucou, I. Puaut, et E. Rohou, SCHEMATIC: Compile-time checkpoint placement and memory allocation for intermittent systems, CGO 2024. PDF

Schematic

Schematic (Simultaneous Checkpoint Placement and Memory Allocation Tailored for Intermittent Computing) is a tool for placing checkpoints in an intermittent program and wisely allocate memory to volatile or on-volatile memory, to reduce the program energy consumption.

Schematic is developed as an extension of ScEpTIC, and benefit from a previous ScEpTIC extension named ALFRED. ScEpTIC and ALFRED are developed by the Networked Embedded Systems Lab at Politecnico di Milano, and released under the MIT License.

Intermittent computing demonstrator

We developed a demonstrator that illustrates the communication between a battery-less sensor and a base station, when the sensor suffer from frequent power failures. The sensor tries to send a message, composed of several characters to the base station. However, as each power failure reset the volatile memory content, the sensor cannot make forward progress. To avoid that, we regularly save the program state (i.e checkpointing) to make progress and complete the program.

Nothing to see here for now. I will be teaching at the INSA Lyon Telecommunications Department.