Collaborated with:
B.Lucia Kiwan Maeng Emily Ruppel Graham Harvey A.P.Sample
Talks about:
intermitt (4) energi (4) task (3) program (2) harvest (2) architectur (1) reconfigur (1) decomposit (1) checkpoint (1) interfer (1)
Person: Alexei Colin
DBLP: Colin:Alexei
Contributed to:
Wrote 5 papers:
- CC-2018-ColinL #composition #source code #termination
- Termination checking and task decomposition for task-based intermittent programs (AC, BL), pp. 116–127.
- OOPSLA-2016-ColinL #named #reliability #source code
- Chain: tasks and channels for reliable intermittent programs (AC, BL), pp. 514–530.
- OOPSLA-2017-MaengCL #execution #named
- Alpaca: intermittent execution without checkpoints (KM, AC, BL), p. 30.
- ASPLOS-2016-ColinHLS #debugging #energy
- An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems (AC, GH, BL, APS), pp. 577–589.
- ASPLOS-2018-ColinRL #architecture #configuration management #energy
- A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices (AC, ER, BL), pp. 767–781.