ETAP: Energy-aware Timing Analysis of Intermittent Programs

Toward Sustainable IoT Applications: Unique Challenges for Programming the Batteryless Edge

(2022) Arda Goknil et al.   IEEE SOFTWARE

Virtualizing Intermittent Computing

(2022) Caglar Durmaz et al.   IEEE Internet of Things Journal

Dynamic Task-based Intermittent Execution for Energy-harvesting Devices

(2020) Amjad Yousef Majid et al.   ACM Transactions on Sensor Networks

Demystifying Energy Consumption Dynamics in Transiently-powered Computers

(2020) Saad Ahmed et al.   ACM Transactions on Embedded Computing Systems

A lightweight online backup manager for energy harvesting powered nonvolatile processor systems

(2020) Weinning Song et al.   JOURNAL OF SYSTEMS ARCHITECTURE

Memory models in symbolic execution: key ideas and new thoughts

(2019) Luca Borzacchiello et al.   SOFTWARE TESTING VERIFICATION & RELIABILITY

A Survey of Symbolic Execution Techniques

(2018) Roberto Baldoni et al.   ACM COMPUTING SURVEYS

An Energy-Aware Debugger for Intermittently Powered Systems

(2017) Alexei Colin et al.   IEEE MICRO

Stack-Size Sensitive On-Chip Memory Backup for Self-Powered Nonvolatile Processors

(2017) Mengying Zhao et al.   IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS

Hibernus++: A Self-Calibrating and Adaptive System for Transiently-Powered Embedded Devices

(2016) Domenico Balsamo et al.   IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS

Converting a Plant to a Battery and Wireless Sensor with Scatter Radio and Ultra-Low Cost

(2016) Christos Konstantopoulos et al.   IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT

Charging Time Characterization for Wireless RF Energy Transfer

(2015) Deepak Mishra et al.   IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

Design of an RFID-Based Battery-Free Programmable Sensing Platform

(2008) A.P. Sample et al.   IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT