Welcome to ALFRED’s documentation!¶

ALFRED (Automatic aLlocation oF non-volatile memoRy for transiEntly-powered Devices) is a virtual memory abstraction that resolves the dichotomy between volatile and non-volatile memory in intermittent computing.

You can find a complete description of ALFRED here, as well as a detailed technical report here.

Cite ALFRED¶

You can cite ALFRED and/or our program transformation techniques as:

Andrea Maioli, Luca Mottola. 2021. ALFRED: Virtual Memory for Intermittent Computing.
In Proceedings of the the 19th ACM Conference on Embedded Networked Sensor Systems (SenSys '21).

Bibtex:

@inproceedings{ALFRED,
    author = {Andrea Maioli and Luca Mottola},
    title  = {ALFRED: Virtual Memory for Intermittent Computing},
    year = {2021},
    series = {SenSys '21},
    booktitle = {Proceedings of the the 19th ACM Conference on Embedded Networked Sensor Systems}
}

Bibtex - Technical Report:

@misc{techrep,
    author = {Andrea Maioli and Luca Mottola},
    year = {2021},
    title = {ALFRED: Virtual Memory for Intermittent Computing},
    eprint = {2110.07542},
    archivePrefix = {arXiv},
    howpublished = {https://arxiv.org/abs/2110.07542}
}

ALFRED Repo¶

We implement a prototype of ALFRED pipeline as an extension of ScEpTIC.

ALFRED components are availabe as a separate branch in ScEpTIC repo at https://bitbucket.org/neslabpolimi/sceptic/src/ALFRED/